Alan ate some rotten meat and now feels green. They always call him rough Bob. Eric is made of many colors, red and blue and green. He is also rough and cold. Even though Harry is big and round, he is cold much of the time. A green, downhearted, and blue person with red cheeks is big. People who are rough around the edges, nice, and a bit blue are young. Kind and young people are round. A person being big and rough makes them cold towards others but that also means that they are kind. People with rough red and blue skin are young.
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Eric is red.
True
1
proof
[(triple4)]
("Eric" "is" "red" "+")
triple4
Eric is not green.
False
1
inv-proof
[(triple5)]
("Eric" "is" "green" "-")
triple5
Eric is big.
True
4
proof
[(((triple7 triple4 triple5) -> rule1))]
("Eric" "is" "big" "+")
((triple7 triple4 triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
4
inv-proof
[(((triple7 triple4 triple5) -> rule1))]
("Eric" "is" "big" "-")
((triple7 triple4 triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
True
7
proof
[(((triple6 ((triple7 triple4 triple5) -> rule1) triple3) -> rule4))]
("Eric" "is" "kind" "+")
((triple6 ((triple7 triple4 triple5) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not kind.
False
7
inv-proof
[(((triple6 ((triple7 triple4 triple5) -> rule1) triple3) -> rule4))]
("Eric" "is" "kind" "-")
((triple6 ((triple7 triple4 triple5) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
True
12
proof
[(((((triple3 triple4 triple7) -> rule5) ((triple6 ((triple7 triple4 triple5) -> rule1) triple3) -> rule4)) -> rule3))]
("Eric" "is" "round" "+")
((((triple3 triple4 triple7) -> (rule5 % int4)) ((triple6 ((triple7 triple4 triple5) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is not round.
False
12
inv-proof
[(((((triple3 triple4 triple7) -> rule5) ((triple6 ((triple7 triple4 triple5) -> rule1) triple3) -> rule4)) -> rule3))]
("Eric" "is" "round" "-")
((((triple3 triple4 triple7) -> (rule5 % int4)) ((triple6 ((triple7 triple4 triple5) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "kind" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is green.[(triple1)] Bob is rough.[(triple2)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is red.[(triple4)] Eric is rough.[(triple3)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is round.[(triple8)] @1: Eric is big.[(((triple7 triple4 triple5) -> rule1))] Eric is young.[(((triple3 triple4 triple7) -> rule5))] @2: Eric is kind.[(((triple6 ((triple7 triple4 triple5) -> rule1) triple3) -> rule4))] @3: Eric is round.[(((((triple3 triple4 triple7) -> rule5) ((triple6 ((triple7 triple4 triple5) -> rule1) triple3) -> rule4)) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Eric is big.
("Eric" "is" "big" "+")
((triple7 triple4 triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple3 triple4 triple7) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple6 ((triple7 triple4 triple5) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple3 triple4 triple7) -> (rule5 % int4)) ((triple6 ((triple7 triple4 triple5) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Alan ate some rotten meat and now feels green.
They always call him rough Bob.
Eric is made of many colors, red and blue and green; He is also rough and cold.
Even though Harry is big and round, he is cold much of the time.
A green, downhearted, and blue person with red cheeks is big.
People who are rough around the edges, nice, and a bit blue are young.
Kind and young people are round.
A person being big and rough makes them cold towards others but that also means that they are kind.
People with rough red and blue skin are young.