Alan was born only a few years ago so he is young. Bob's a round guy, and a red and green guy. Charlie is sometimes cold and blue, but he can also be kind and big. Fred is big and green guy whose cold personality makes him seem very rough. Big people that are cold will show you how rough they actually are. Red people who are also kind often turn out to be cold from standing outdoors too long. A young someone is red in thought but green in ideas. When someone is nice, dressing in red, they can be blue because they are cold. Someone who is round like a dumpling and cold like an icicle are very young in age. I bet you didn't know that nice, kind, cold people happen to be red. A person who is kind but also rough and is also colored blue, will be shaped round.
Alan is young.
("Alan" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Charlie is not blue.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "blue" "-")
triple7
Charlie is rough.
True
3
proof
[(((triple6 triple8) -> rule1))]
("Charlie" "is" "rough" "+")
((triple6 triple8) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple6 triple8) -> rule1))]
("Charlie" "is" "rough" "-")
((triple6 triple8) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
True
6
proof
[(((triple5 ((triple6 triple8) -> rule1) triple7) -> rule7))]
("Charlie" "is" "round" "+")
((triple5 ((triple6 triple8) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not round.
False
6
inv-proof
[(((triple5 ((triple6 triple8) -> rule1) triple7) -> rule7))]
("Charlie" "is" "round" "-")
((triple5 ((triple6 triple8) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
True
8
proof
[(((((triple5 ((triple6 triple8) -> rule1) triple7) -> rule7) triple6) -> rule5))]
("Charlie" "is" "young" "+")
((((triple5 ((triple6 triple8) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not young.
False
8
inv-proof
[(((((triple5 ((triple6 triple8) -> rule1) triple7) -> rule7) triple6) -> rule5))]
("Charlie" "is" "young" "-")
((((triple5 ((triple6 triple8) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is young.[(triple1)] Bob is green.[(triple4)] Bob is red.[(triple3)] Bob is round.[(triple2)] Charlie is big.[(triple8)] Charlie is blue.[(triple7)] Charlie is cold.[(triple6)] Charlie is kind.[(triple5)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is green.[(triple10)] Fred is rough.[(triple9 OR ((triple11 triple12) -> rule1))] @1: Charlie is rough.[(((triple6 triple8) -> rule1))] @2: Charlie is round.[(((triple5 ((triple6 triple8) -> rule1) triple7) -> rule7))] @3: Charlie is young.[(((((triple5 ((triple6 triple8) -> rule1) triple7) -> rule7) triple6) -> rule5))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
((triple11 triple12) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple6 triple8) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple5 ((triple6 triple8) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple5 ((triple6 triple8) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan was born only a few years ago so he is young.
Bob's a round guy, and a red and green guy.
Charlie is sometimes cold and blue, but he can also be kind and big.
Fred is big and green guy whose cold personality makes him seem very rough.
Big people that are cold will show you how rough they actually are.
Red people who are also kind often turn out to be cold from standing outdoors too long.
A young someone is red in thought but green in ideas.
When someone is nice, dressing in red, they can be blue because they are cold.
Someone who is round like a dumpling and cold like an icicle are very young in age.
I bet you didn't know that nice, kind, cold people happen to be red.
A person who is kind but also rough and is also colored blue, will be shaped round.