Most people consider Charlie to bed red. He's pretty cold to people and often feels blue. Charlie is a big person. Dave always goes out of his way to show that he is kind to people. Eric is man who is rough, red, nice, kind, and also green. Red Fred is what folks call him, because he is quite red. A person with nice, blue traits who is young will surely be a round person. Someone who is not only rough and big but also nice will necessarily be round as well. A nice red person that is cold is always big, I have found. People who have a big shape while they are young are found to be nice. If you meet someone who is young and cold, then will most definitely be red. A blue and round human being will also be a green human being. Kind people,though green,are cold.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Eric is green.
True
1
proof
[(triple10)]
("Eric" "is" "green" "+")
triple10
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Eric is cold.
True
3
proof
[(((triple9 triple10) -> rule7))]
("Eric" "is" "cold" "+")
((triple9 triple10) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple9 triple10) -> rule7))]
("Eric" "is" "cold" "-")
((triple9 triple10) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
True
6
proof
[(((triple7 triple8 ((triple9 triple10) -> rule7)) -> rule3))]
("Eric" "is" "big" "+")
((triple7 triple8 ((triple9 triple10) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not big.
False
6
inv-proof
[(((triple7 triple8 ((triple9 triple10) -> rule7)) -> rule3))]
("Eric" "is" "big" "-")
((triple7 triple8 ((triple9 triple10) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
True
9
proof
[(((triple6 ((triple7 triple8 ((triple9 triple10) -> rule7)) -> rule3) triple8) -> rule2))]
("Eric" "is" "round" "+")
((triple6 ((triple7 triple8 ((triple9 triple10) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not round.
False
9
inv-proof
[(((triple6 ((triple7 triple8 ((triple9 triple10) -> rule7)) -> rule3) triple8) -> rule2))]
("Eric" "is" "round" "-")
((triple6 ((triple7 triple8 ((triple9 triple10) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is cold.[(triple2)] Charlie is red.[(triple1)] Dave is kind.[(triple5)] Eric is green.[(triple10)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is red.[(triple11)] @1: Eric is cold.[(((triple9 triple10) -> rule7))] @2: Eric is big.[(((triple7 triple8 ((triple9 triple10) -> rule7)) -> rule3))] @3: Eric is round.[(((triple6 ((triple7 triple8 ((triple9 triple10) -> rule7)) -> rule3) triple8) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
((triple9 triple10) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple7 triple8 ((triple9 triple10) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple6 ((triple7 triple8 ((triple9 triple10) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Most people consider Charlie to bed red; He's pretty cold to people and often feels blue; Charlie is a big person.
Dave always goes out of his way to show that he is kind to people.
Eric is man who is rough, red, nice, kind, and also green.
Red Fred is what folks call him, because he is quite red.
A person with nice, blue traits who is young will surely be a round person.
Someone who is not only rough and big but also nice will necessarily be round as well.
A nice red person that is cold is always big, I have found.
People who have a big shape while they are young are found to be nice.
If you meet someone who is young and cold, then will most definitely be red.
A blue and round human being will also be a green human being.
Kind people,though green,are cold.