Bob ate some rotten meat and now feels green. Charlie has green teeth and rough skin. People also notice his blue eyes. Red Eric is what folks call him, because he is quite red. Fred is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. A kind and cold person who is green is, surprisingly, also blue. People who are kind and green are very often rough. Being green and rough are signs that someone is big. If you ever find someone who's nice, rough, and blue, expect them to also be green. Big people that are also rough, are ultimately round. When someone is rough like sandpaper and young like a tadpole they are always round.
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Fred is not green.
False
1
inv-proof
[(triple8)]
("Fred" "is" "green" "-")
triple8
Charlie is big.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Charlie" "is" "big" "+")
((triple3 triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Charlie" "is" "big" "-")
((triple3 triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
True
5
proof
[(((((triple3 triple2) -> rule3) triple2) -> rule5))]
("Charlie" "is" "round" "+")
((((triple3 triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fred is not big.
False
5
inv-proof
[(((triple8 ((triple7 triple8) -> rule2)) -> rule3))]
("Fred" "is" "big" "-")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
True
9
proof
[(((((triple8 ((triple7 triple8) -> rule2)) -> rule3) ((triple7 triple8) -> rule2)) -> rule5))]
("Fred" "is" "round" "+")
((((triple8 ((triple7 triple8) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not round.
False
9
inv-proof
[(((((triple8 ((triple7 triple8) -> rule2)) -> rule3) ((triple7 triple8) -> rule2)) -> rule5))]
("Fred" "is" "round" "-")
((((triple8 ((triple7 triple8) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is green.[(triple1)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Eric is red.[(triple5)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] @1: Charlie is big.[(((triple3 triple2) -> rule3))] Fred is blue.[(((triple7 triple9 triple8) -> rule1))] Fred is rough.[(((triple7 triple8) -> rule2))] @2: Charlie is round.[(((((triple3 triple2) -> rule3) triple2) -> rule5))] Fred is big.[(((triple8 ((triple7 triple8) -> rule2)) -> rule3))] @3: Fred is round.[(((((triple8 ((triple7 triple8) -> rule2)) -> rule3) ((triple7 triple8) -> rule2)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Eric is red.
("Eric" "is" "red" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 triple9 triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 triple8) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3 triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple8 ((triple7 triple8) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Bob ate some rotten meat and now feels green.
Charlie has green teeth and rough skin; People also notice his blue eyes.
Red Eric is what folks call him, because he is quite red.
Fred is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
A kind and cold person who is green is, surprisingly, also blue.
People who are kind and green are very often rough.
Being green and rough are signs that someone is big.
If you ever find someone who's nice, rough, and blue, expect them to also be green.
Big people that are also rough, are ultimately round.
When someone is rough like sandpaper and young like a tadpole they are always round.