To be young and red like Eric is pretty nice, which Green Eric is also. Red Gary is what folks call him, because he is quite red. You can see Harry walking down the street because he is big and round.  He's actually a kind guy even though he's rough around the edges.  He also has a red, ruddy complexion. Surprisingly, all the kind, green people were also big. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A nice young person who is red is cold. A kind and green person who is rough around the edges is cold. Any cold, round, green person is going to be young at the same time. People who are young, while being red and cold, are big people. People who are nice and rough are looked at as kind.
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Eric is not young.
False
1
inv-proof
[(triple1)]
("Eric" "is" "young" "-")
triple1
Harry is green.
True
4
proof
[(((triple7 triple6 triple10) -> rule2))]
("Harry" "is" "green" "+")
((triple7 triple6 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple7 triple6 triple10) -> rule2))]
("Harry" "is" "green" "-")
((triple7 triple6 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
True
7
proof
[(((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4))]
("Harry" "is" "cold" "+")
((((triple7 triple6 triple10) -> (rule2 % int2)) triple7 triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not cold.
False
7
inv-proof
[(((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4))]
("Harry" "is" "cold" "-")
((((triple7 triple6 triple10) -> (rule2 % int2)) triple7 triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
True
13
proof
[(((((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4) triple6 ((triple7 triple6 triple10) -> rule2)) -> rule5))]
("Harry" "is" "young" "+")
((((((triple7 triple6 triple10) -> (rule2 % int3)) triple7 triple9) -> (rule4 % int2)) triple6 ((triple7 triple6 triple10) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not young.
False
13
inv-proof
[(((((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4) triple6 ((triple7 triple6 triple10) -> rule2)) -> rule5))]
("Harry" "is" "young" "-")
((((((triple7 triple6 triple10) -> (rule2 % int3)) triple7 triple9) -> (rule4 % int2)) triple6 ((triple7 triple6 triple10) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "kind" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Eric is green.[(triple4)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Eric is young.[(triple1)] Gary is red.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Eric is cold.[(((triple3 triple2 triple1) -> rule3))] Harry is green.[(((triple7 triple6 triple10) -> rule2))] @2: Eric is big.[(((triple1 triple2 ((triple3 triple2 triple1) -> rule3)) -> rule6))] Harry is cold.[(((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4))] @3: Harry is young.[(((((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4) triple6 ((triple7 triple6 triple10) -> rule2)) -> rule5))]
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
((triple3 triple2 triple1) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple6 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple1 triple2 ((triple3 triple2 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7 triple6 triple10) -> (rule2 % int2)) triple7 triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple7 triple6 triple10) -> (rule2 % int3)) triple7 triple9) -> (rule4 % int2)) triple6 ((triple7 triple6 triple10) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
To be young and red like Eric is pretty nice, which Green Eric is also.
Red Gary is what folks call him, because he is quite red.
You can see Harry walking down the street because he is big and round; He's actually a kind guy even though he's rough around the edges; He also has a red, ruddy complexion.
Surprisingly, all the kind, green people were also big.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
A nice young person who is red is cold.
A kind and green person who is rough around the edges is cold.
Any cold, round, green person is going to be young at the same time.
People who are young, while being red and cold, are big people.
People who are nice and rough are looked at as kind.