Charlie is a person both green and big. Dave is rough and cold, but he's young and will get over it. Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Big Harry is still young so it's easy for him to be kind. His cheeks were red from the cold, and his big blue eye were watering. People who are round, blue and cold are usually nice. Red, kind, rough people are the young ones. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Among the green people who are young, the color blue is always part of them. A big and round shaped, blue person will be cold for sure. A person that is green also someone who is big.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
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 red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Charlie is not green.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "green" "-")
triple1
Gary is big.
True
2
proof
[(((triple7) -> rule7))]
("Gary" "is" "big" "+")
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple7) -> rule7))]
("Gary" "is" "big" "-")
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
True
5
proof
[(((triple6 triple8 ((triple7) -> rule7)) -> rule6))]
("Gary" "is" "cold" "+")
((triple6 triple8 ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((triple6 triple8 ((triple7) -> rule7)) -> rule6))]
("Gary" "is" "cold" "-")
((triple6 triple8 ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
True
8
proof
[(((triple6 triple8 ((triple6 triple8 ((triple7) -> rule7)) -> rule6)) -> rule2))]
("Gary" "is" "nice" "+")
((triple6 triple8 ((triple6 triple8 ((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not nice.
False
8
inv-proof
[(((triple6 triple8 ((triple6 triple8 ((triple7) -> rule7)) -> rule6)) -> rule2))]
("Gary" "is" "nice" "-")
((triple6 triple8 ((triple6 triple8 ((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is big.[(triple2 OR ((triple1) -> rule7))] Charlie is green.[(triple1)] Dave is cold.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is round.[(triple6)] Harry is big.[(triple11)] Harry is kind.[(triple10)] Harry is young.[(triple9)] @1: Gary is big.[(((triple7) -> rule7))] @2: Gary is cold.[(((triple6 triple8 ((triple7) -> rule7)) -> rule6))] @3: Gary is nice.[(((triple6 triple8 ((triple6 triple8 ((triple7) -> rule7)) -> rule6)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
((triple1) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 triple8 ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 triple8 ((triple6 triple8 ((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is a person both green and big.
Dave is rough and cold, but he's young and will get over it.
Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Big Harry is still young so it's easy for him to be kind.
His cheeks were red from the cold, and his big blue eye were watering.
People who are round, blue and cold are usually nice.
Red, kind, rough people are the young ones.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Among the green people who are young, the color blue is always part of them.
A big and round shaped, blue person will be cold for sure.
A person that is green also someone who is big.