Bob is a very kind, green but sometimes cold person. Young Charlie got into a fight that left him with red sores on his face. Eric is a young, cold guy, but he's also a nice and kind guy who can be rough. They always call him rough Fred. When anyone can be described as nice, young and big, they can also be described as red. When someone is nice and rough they are usually red. Big, kind people are nice. Someone who is not kind, will see red and be cold, which leads them to always feel blue. Blue, red, young people are always going to be kind people, too. A person who is kind but also rough and is also colored blue, will be shaped round. People who are rough and cold, but also nice, are considered green.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Eric is kind.
True
1
proof
[(triple9)]
("Eric" "is" "kind" "+")
triple9
Charlie is not red.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "red" "-")
triple5
Eric is red.
True
3
proof
[(((triple8 triple7) -> rule2))]
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Eric" "is" "red" "-")
((triple8 triple7) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
True
6
proof
[(((triple9 ((triple8 triple7) -> rule2) triple10) -> rule4))]
("Eric" "is" "blue" "+")
((triple9 ((triple8 triple7) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((triple9 ((triple8 triple7) -> rule2) triple10) -> rule4))]
("Eric" "is" "blue" "-")
((triple9 ((triple8 triple7) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
True
9
proof
[(((triple9 triple7 ((triple9 ((triple8 triple7) -> rule2) triple10) -> rule4)) -> rule6))]
("Eric" "is" "round" "+")
((triple9 triple7 ((triple9 ((triple8 triple7) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not round.
False
9
inv-proof
[(((triple9 triple7 ((triple9 ((triple8 triple7) -> rule2) triple10) -> rule4)) -> rule6))]
("Eric" "is" "round" "-")
((triple9 triple7 ((triple9 ((triple8 triple7) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is red.[(triple5)] Charlie is young.[(triple4)] Eric is cold.[(triple10)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Fred is rough.[(triple11)] @1: Eric is green.[(((triple7 triple10 triple8) -> rule7))] Eric is red.[(((triple8 triple7) -> rule2))] @2: Eric is blue.[(((triple9 ((triple8 triple7) -> rule2) triple10) -> rule4))] @3: Eric is round.[(((triple9 triple7 ((triple9 ((triple8 triple7) -> rule2) triple10) -> rule4)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple10 triple8) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple9 ((triple8 triple7) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple9 triple7 ((triple9 ((triple8 triple7) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is a very kind, green but sometimes cold person.
Young Charlie got into a fight that left him with red sores on his face.
Eric is a young, cold guy, but he's also a nice and kind guy who can be rough.
They always call him rough Fred.
When anyone can be described as nice, young and big, they can also be described as red.
When someone is nice and rough they are usually red.
Big, kind people are nice.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
Blue, red, young people are always going to be kind people, too.
A person who is kind but also rough and is also colored blue, will be shaped round.
People who are rough and cold, but also nice, are considered green.