Dave, a green man, was also big, but underneath he was kind. Eric fits the description of someone who is rough, red and blue. Gary who is round is kind but today he is feeling cold and green. Young Harry is wearing green pants. A big person who is kind but blue is cold. Big and cold people tend to see red and dont live green lifestyle. A rather round and big person will be kind, but also blue. Any person who is blue and round, if they are kind at the same time, will be young. Someone blue and red is definitely round and dressed as a clown. There are so many rough, young people and for some reason they are all big too. A person that is green also someone who is big.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Harry is young.
True
1
proof
[(triple11)]
("Harry" "is" "young" "+")
triple11
Eric is not red.
False
1
inv-proof
[(triple5)]
("Eric" "is" "red" "-")
triple5
Harry is big.
True
2
proof
[(((triple12) -> rule7))]
("Harry" "is" "big" "+")
((triple12) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple12) -> rule7))]
("Harry" "is" "big" "-")
((triple12) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Gary is blue.
True
5
proof
[(((triple7 triple8 ((triple9) -> rule7)) -> rule3))]
("Gary" "is" "blue" "+")
((triple7 triple8 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple7 triple8 ((triple9) -> rule7)) -> rule3))]
("Gary" "is" "blue" "-")
((triple7 triple8 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
True
8
proof
[(((((triple7 triple8 ((triple9) -> rule7)) -> rule3) triple7 triple8) -> rule4))]
("Gary" "is" "young" "+")
((((triple7 triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple7 triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not young.
False
8
inv-proof
[(((((triple7 triple8 ((triple9) -> rule7)) -> rule3) triple7 triple8) -> rule4))]
("Gary" "is" "young" "-")
((((triple7 triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple7 triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule5 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Dave is big.[(triple3 OR ((triple2) -> rule7))] Dave is green.[(triple2)] Dave is kind.[(triple1)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Gary is cold.[(triple10 OR ((((triple7 triple8 ((triple9) -> rule7)) -> rule3) triple8 ((triple9) -> rule7)) -> rule1))] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is round.[(triple7)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Eric is round.[(((triple6 triple5) -> rule5))] Gary is big.[(((triple9) -> rule7))] Harry is big.[(((triple12) -> rule7))] @2: Gary is blue.[(((triple7 triple8 ((triple9) -> rule7)) -> rule3))] @3: Gary is young.[(((((triple7 triple8 ((triple9) -> rule7)) -> rule3) triple7 triple8) -> rule4))]
Dave is big.
("Dave" "is" "big" "+")
triple3
((triple2) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((((triple7 triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple8 ((triple9) -> (rule7 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple5) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 triple8 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple7 triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple7 triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave, a green man, was also big, but underneath he was kind.
Eric fits the description of someone who is rough, red and blue.
Gary who is round is kind but today he is feeling cold and green.
Young Harry is wearing green pants.
A big person who is kind but blue is cold.
Big and cold people tend to see red and dont live green lifestyle.
A rather round and big person will be kind, but also blue.
Any person who is blue and round, if they are kind at the same time, will be young.
Someone blue and red is definitely round and dressed as a clown.
There are so many rough, young people and for some reason they are all big too.
A person that is green also someone who is big.