Charlie ate some rotten meat and now feels green. If you met Eric you will see that he is round and red, but he is cold. Gary is very nice to people, but he's also rather big. Blue with the cold Harry is rough but kind with a green shirt. Find someone cold and green. If they are also round, then they are sure to be nice. If someone is blue and rough, they always see red in others. I've noticed that someone with a round shape is also green. Green people who are kind with rosy red skin are round. A blue individual that is kind and nice to others also has a rough appearance. A blue, rough and round person will also be a big person.
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Eric is round.
True
1
proof
[(triple2)]
("Eric" "is" "round" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Harry is red.
True
3
proof
[(((triple11 triple7) -> rule2))]
("Harry" "is" "red" "+")
((triple11 triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is not green.
False
2
inv-proof
[(((triple2) -> rule3))]
("Eric" "is" "green" "-")
((triple2) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Harry is round.
True
6
proof
[(((((triple11 triple7) -> rule2) triple8 triple9) -> rule4))]
("Harry" "is" "round" "+")
((((triple11 triple7) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not round.
False
6
inv-proof
[(((((triple11 triple7) -> rule2) triple8 triple9) -> rule4))]
("Harry" "is" "round" "-")
((((triple11 triple7) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
True
9
proof
[(((triple10 triple9 ((((triple11 triple7) -> rule2) triple8 triple9) -> rule4)) -> rule1))]
("Harry" "is" "nice" "+")
((triple10 triple9 ((((triple11 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not nice.
False
9
inv-proof
[(((triple10 triple9 ((((triple11 triple7) -> rule2) triple8 triple9) -> rule4)) -> rule1))]
("Harry" "is" "nice" "-")
((triple10 triple9 ((((triple11 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is green.[(triple1)] Eric is cold.[(triple4)] Eric is red.[(triple3)] Eric is round.[(triple2)] Gary is big.[(triple6)] Gary is nice.[(triple5)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] Harry is rough.[(triple7)] @1: Eric is green.[(((triple2) -> rule3))] Harry is red.[(((triple11 triple7) -> rule2))] @2: Eric is nice.[(((triple4 ((triple2) -> rule3) triple2) -> rule1))] Harry is round.[(((((triple11 triple7) -> rule2) triple8 triple9) -> rule4))] @3: Harry is big.[(((triple11 triple7 ((((triple11 triple7) -> rule2) triple8 triple9) -> rule4)) -> rule6))] Harry is nice.[(((triple10 triple9 ((((triple11 triple7) -> rule2) triple8 triple9) -> rule4)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
((triple2) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 ((triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple11 triple7) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple11 triple7 ((((triple11 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 triple9 ((((triple11 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie ate some rotten meat and now feels green.
If you met Eric you will see that he is round and red, but he is cold.
Gary is very nice to people, but he's also rather big.
Blue with the cold Harry is rough but kind with a green shirt.
Find someone cold and green; If they are also round, then they are sure to be nice.
If someone is blue and rough, they always see red in others.
I've noticed that someone with a round shape is also green.
Green people who are kind with rosy red skin are round.
A blue individual that is kind and nice to others also has a rough appearance.
A blue, rough and round person will also be a big person.