Dave is a rough but very kind and blue person. Eric is a very rough person. As expected, he's also a very cold and big individual. Because Fred, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. They always call him rough Gary. Blue Christmas ornaments are also red. You'll always find a young, kind and red person to be a cold person, too. Kind people who look green are almost always young in age. Most big and kind people,though young,are often blue. If you run into a cold and kind person, they are always big.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Fred is round.
True
1
proof
[(triple8)]
("Fred" "is" "round" "+")
triple8
Dave is not rough.
False
1
inv-proof
[(triple1)]
("Dave" "is" "rough" "-")
triple1
Fred is red.
True
2
proof
[(((triple11) -> rule1))]
("Fred" "is" "red" "+")
((triple11) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fred" "is" "red" "-")
((triple11) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
True
5
proof
[(((triple10 triple7 ((triple11) -> rule1)) -> rule2))]
("Fred" "is" "cold" "+")
((triple10 triple7 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple10 triple7 ((triple11) -> rule1)) -> rule2))]
("Fred" "is" "cold" "-")
((triple10 triple7 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
True
7
proof
[(((((triple10 triple7 ((triple11) -> rule1)) -> rule2) triple10) -> rule5))]
("Fred" "is" "big" "+")
((((triple10 triple7 ((triple11) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not big.
False
7
inv-proof
[(((((triple10 triple7 ((triple11) -> rule1)) -> rule2) triple10) -> rule5))]
("Fred" "is" "big" "-")
((((triple10 triple7 ((triple11) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is blue.[(triple3)] Dave is kind.[(triple2)] Dave is rough.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is rough.[(triple4)] Fred is blue.[(triple11)] Fred is kind.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7)] Gary is rough.[(triple12)] @1: Dave is red.[(((triple3) -> rule1))] Fred is red.[(((triple11) -> rule1))] @2: Fred is cold.[(((triple10 triple7 ((triple11) -> rule1)) -> rule2))] @3: Fred is big.[(((((triple10 triple7 ((triple11) -> rule1)) -> rule2) triple10) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Dave is red.
("Dave" "is" "red" "+")
((triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple11) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple10 triple7 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple10 triple7 ((triple11) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Dave is a rough but very kind and blue person.
Eric is a very rough person; As expected, he's also a very cold and big individual.
Because Fred, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
They always call him rough Gary.
Blue Christmas ornaments are also red.
You'll always find a young, kind and red person to be a cold person, too.
Kind people who look green are almost always young in age.
Most big and kind people,though young,are often blue.
If you run into a cold and kind person, they are always big.