Bob, a green man, was also big, but underneath he was kind. You think Eric is only rough, cold and blue, but I know he is also young, round and kind. Gary was born only a few years ago so he is young. In the snow sits Harry, crying from being cold. Someone who feels blue with rough skin is also kind and will be young. Blue kind people are almost always nice to others. A rough person who is young and nice is also red. Anyone with red and blue coloration also has green coloration. A blue colored person who is very nice and kind will be round shaped.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and nice and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Eric is blue.
True
1
proof
[(triple9)]
("Eric" "is" "blue" "+")
triple9
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Eric is nice.
True
3
proof
[(((triple9 triple7) -> rule2))]
("Eric" "is" "nice" "+")
((triple9 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple9 triple7) -> rule2))]
("Eric" "is" "nice" "-")
((triple9 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
True
6
proof
[(((triple4 ((triple9 triple7) -> rule2) triple6) -> rule3) OR ((((triple7 triple9 triple6) -> rule1) ((triple9 triple7) -> rule2) triple6) -> rule3))]
("Eric" "is" "red" "+")
((triple4 ((triple9 triple7) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((triple7 triple9 triple6) -> (rule1 % int3)) ((triple9 triple7) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not red.
False
6
inv-proof
[(((triple4 ((triple9 triple7) -> rule2) triple6) -> rule3) OR ((((triple7 triple9 triple6) -> rule1) ((triple9 triple7) -> rule2) triple6) -> rule3))]
("Eric" "is" "red" "-")
((triple4 ((triple9 triple7) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((triple7 triple9 triple6) -> (rule1 % int3)) ((triple9 triple7) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
True
8
proof
[(((((triple4 ((triple9 triple7) -> rule2) triple6) -> rule3) triple9) -> rule4) OR ((((((triple7 triple9 triple6) -> rule1) ((triple9 triple7) -> rule2) triple6) -> rule3) triple9) -> rule4))]
("Eric" "is" "green" "+")
((((triple4 ((triple9 triple7) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((triple7 triple9 triple6) -> (rule1 % int4)) ((triple9 triple7) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is not green.
False
8
inv-proof
[(((((triple4 ((triple9 triple7) -> rule2) triple6) -> rule3) triple9) -> rule4) OR ((((((triple7 triple9 triple6) -> rule1) ((triple9 triple7) -> rule2) triple6) -> rule3) triple9) -> rule4))]
("Eric" "is" "green" "-")
((((triple4 ((triple9 triple7) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((triple7 triple9 triple6) -> (rule1 % int4)) ((triple9 triple7) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5 OR ((triple9 ((triple9 triple7) -> rule2) triple7) -> rule5))] Eric is young.[(triple4 OR ((triple7 triple9 triple6) -> rule1))] Gary is young.[(triple10)] Harry is cold.[(triple11)] @1: Eric is nice.[(((triple9 triple7) -> rule2))] @2: Eric is red.[(((triple4 ((triple9 triple7) -> rule2) triple6) -> rule3) OR ((((triple7 triple9 triple6) -> rule1) ((triple9 triple7) -> rule2) triple6) -> rule3))] @3: Eric is green.[(((((triple4 ((triple9 triple7) -> rule2) triple6) -> rule3) triple9) -> rule4) OR ((((((triple7 triple9 triple6) -> rule1) ((triple9 triple7) -> rule2) triple6) -> rule3) triple9) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
((triple9 ((triple9 triple7) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
triple4
((triple7 triple9 triple6) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
((triple9 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple4 ((triple9 triple7) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((triple7 triple9 triple6) -> (rule1 % int3)) ((triple9 triple7) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((triple4 ((triple9 triple7) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((triple7 triple9 triple6) -> (rule1 % int4)) ((triple9 triple7) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Bob, a green man, was also big, but underneath he was kind.
You think Eric is only rough, cold and blue, but I know he is also young, round and kind.
Gary was born only a few years ago so he is young.
In the snow sits Harry, crying from being cold.
Someone who feels blue with rough skin is also kind and will be young.
Blue kind people are almost always nice to others.
A rough person who is young and nice is also red.
Anyone with red and blue coloration also has green coloration.
A blue colored person who is very nice and kind will be round shaped.