Big, red Bob is quite kind. Charlie is a nice and kind young man who is quite big in size. Eric always goes out of his way to show that he is kind to people. Fred is nice and kind despite the appearance of his cold, red skin. If a red person is cold and kind to others, they also tend to be blue. Maybe someone is rough and blue with the cold. A young person with a kind heart and big sized body will be rough around the edges. You know when you meet a red, blue and kind person, that means they are green. If someone is colored red but is cold, they tend to show a lot of green. Big people that have a rough demeanor usually feel blue. Red and round people will be cold even in the summer.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Bob is big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "+")
triple3
Eric is not kind.
False
1
inv-proof
[(triple8)]
("Eric" "is" "kind" "-")
triple8
Fred is green.
True
3
proof
[(((triple9 triple12) -> rule5) OR ((triple9 ((triple12 triple11 triple9) -> rule1) triple11) -> rule4))]
("Fred" "is" "green" "+")
((triple9 triple12) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple9 ((triple12 triple11 triple9) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not green.
False
3
inv-proof
[(((triple9 triple12) -> rule5) OR ((triple9 ((triple12 triple11 triple9) -> rule1) triple11) -> rule4))]
("Fred" "is" "green" "-")
((triple9 triple12) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple9 ((triple12 triple11 triple9) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Charlie is blue.
True
6
proof
[(((triple7 ((triple4 triple6 triple7) -> rule3)) -> rule6))]
("Charlie" "is" "blue" "+")
((triple7 ((triple4 triple6 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not blue.
False
6
inv-proof
[(((triple7 ((triple4 triple6 triple7) -> rule3)) -> rule6))]
("Charlie" "is" "blue" "-")
((triple7 ((triple4 triple6 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
True
11
proof
[(((((triple4 triple6 triple7) -> rule3) ((triple7 ((triple4 triple6 triple7) -> rule3)) -> rule6)) -> rule2))]
("Charlie" "is" "cold" "+")
((((triple4 triple6 triple7) -> (rule3 % int3)) ((triple7 ((triple4 triple6 triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
11
inv-proof
[(((((triple4 triple6 triple7) -> rule3) ((triple7 ((triple4 triple6 triple7) -> rule3)) -> rule6)) -> rule2))]
("Charlie" "is" "cold" "-")
((((triple4 triple6 triple7) -> (rule3 % int3)) ((triple7 ((triple4 triple6 triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is green.
Unknown
rconc
[@4: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is young.[(triple4)] Eric is kind.[(triple8)] Fred is cold.[(triple12)] Fred is kind.[(triple11)] Fred is nice.[(triple10)] Fred is red.[(triple9)] @1: Charlie is rough.[(((triple4 triple6 triple7) -> rule3))] Fred is blue.[(((triple12 triple11 triple9) -> rule1))] Fred is green.[(((triple9 triple12) -> rule5) OR ((triple9 ((triple12 triple11 triple9) -> rule1) triple11) -> rule4))] @2: Charlie is blue.[(((triple7 ((triple4 triple6 triple7) -> rule3)) -> rule6))] @3: Charlie is cold.[(((((triple4 triple6 triple7) -> rule3) ((triple7 ((triple4 triple6 triple7) -> rule3)) -> rule6)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple12
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple6 triple7) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple12 triple11 triple9) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple9 triple12) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple9 ((triple12 triple11 triple9) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 ((triple4 triple6 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4 triple6 triple7) -> (rule3 % int3)) ((triple7 ((triple4 triple6 triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Big, red Bob is quite kind.
Charlie is a nice and kind young man who is quite big in size.
Eric always goes out of his way to show that he is kind to people.
Fred is nice and kind despite the appearance of his cold, red skin.
If a red person is cold and kind to others, they also tend to be blue.
Maybe someone is rough and blue with the cold.
A young person with a kind heart and big sized body will be rough around the edges.
You know when you meet a red, blue and kind person, that means they are green.
If someone is colored red but is cold, they tend to show a lot of green.
Big people that have a rough demeanor usually feel blue.
Red and round people will be cold even in the summer.