Charlie was kind despite being rough. And because he was so big, Charlie constantly felt cold. You think Gary is only rough, cold and blue, but I know he is also young, round and kind. A person who is nice and green with envy is round. People who are round, blue and cold are usually nice. It's inevitable that young, green people are big. Young people tend to be blue all the time and rough. If you meet someone who is big and kind with cold skin, they will be young. Kind and nice people who feel blue usually look green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Charlie is young.
True
4
proof
[(((triple2 triple3 triple4) -> rule5))]
("Charlie" "is" "young" "+")
((triple2 triple3 triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
4
inv-proof
[(((triple2 triple3 triple4) -> rule5))]
("Charlie" "is" "young" "-")
((triple2 triple3 triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is green.
True
7
proof
[(((triple8 triple10 ((triple6 triple10 triple9) -> rule2)) -> rule6))]
("Gary" "is" "green" "+")
((triple8 triple10 ((triple6 triple10 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not green.
False
7
inv-proof
[(((triple8 triple10 ((triple6 triple10 triple9) -> rule2)) -> rule6))]
("Gary" "is" "green" "-")
((triple8 triple10 ((triple6 triple10 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
True
9
proof
[(((triple5 ((triple8 triple10 ((triple6 triple10 triple9) -> rule2)) -> rule6)) -> rule3))]
("Gary" "is" "big" "+")
((triple5 ((triple8 triple10 ((triple6 triple10 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not big.
False
9
inv-proof
[(((triple5 ((triple8 triple10 ((triple6 triple10 triple9) -> rule2)) -> rule6)) -> rule3))]
("Gary" "is" "big" "-")
((triple5 ((triple8 triple10 ((triple6 triple10 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is rough.[(triple7 OR ((triple10 triple5) -> rule4))] Gary is round.[(triple6)] Gary is young.[(triple5)] @1: Charlie is young.[(((triple2 triple3 triple4) -> rule5))] Gary is nice.[(((triple6 triple10 triple9) -> rule2))] @2: Gary is green.[(((triple8 triple10 ((triple6 triple10 triple9) -> rule2)) -> rule6))] @3: Gary is big.[(((triple5 ((triple8 triple10 ((triple6 triple10 triple9) -> rule2)) -> rule6)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((triple10 triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple3 triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 triple10 triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple8 triple10 ((triple6 triple10 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple5 ((triple8 triple10 ((triple6 triple10 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Charlie was kind despite being rough; And because he was so big, Charlie constantly felt cold.
You think Gary is only rough, cold and blue, but I know he is also young, round and kind.
A person who is nice and green with envy is round.
People who are round, blue and cold are usually nice.
It's inevitable that young, green people are big.
Young people tend to be blue all the time and rough.
If you meet someone who is big and kind with cold skin, they will be young.
Kind and nice people who feel blue usually look green.