Big Charlie is young and rough but also very nice in a green sorta way. Dave is rough and red, but he is still young; he is still blue with youth. Big, red Eric is quite kind. Kind young people are red. Someone who is both red and blue will also be a nice person. Lucky for us, people that are round and red are kind to strangers. Show me someone who is cold and kind, and I'll show you how green they are. People who are rough and nice and blue can be round. Someone who tends to be icy cold and rough but secretly nice are generally very blue. People who are rough and cold, but also nice, are considered green.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Dave is nice.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Dave" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("Dave" "is" "nice" "-")
((triple8 triple9) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
True
6
proof
[(((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5))]
("Dave" "is" "round" "+")
((triple7 ((triple8 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not round.
False
6
inv-proof
[(((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5))]
("Dave" "is" "round" "-")
((triple7 ((triple8 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
True
8
proof
[(((((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5) triple8) -> rule3))]
("Dave" "is" "kind" "+")
((((triple7 ((triple8 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5) triple8) -> rule3))]
("Dave" "is" "kind" "-")
((((triple7 ((triple8 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is red.[(triple10)] @1: Dave is nice.[(((triple8 triple9) -> rule2))] @2: Dave is round.[(((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5))] @3: Dave is kind.[(((((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5) triple8) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is red.
("Eric" "is" "red" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple8 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple7 ((triple8 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Big Charlie is young and rough but also very nice in a green sorta way.
Dave is rough and red, but he is still young; he is still blue with youth.
Big, red Eric is quite kind.
Kind young people are red.
Someone who is both red and blue will also be a nice person.
Lucky for us, people that are round and red are kind to strangers.
Show me someone who is cold and kind, and I'll show you how green they are.
People who are rough and nice and blue can be round.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
People who are rough and cold, but also nice, are considered green.