Eric, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Fred is rough and cold, but he's young and will get over it. One day Gary, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. Whoever is rough and red must be kind. A round person who is nice is young. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. If people are cold they are often red. Young people tend to be blue all the time and rough. A round and blue individual will also be a cold individual.
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Eric is nice.
True
1
proof
[(triple2)]
("Eric" "is" "nice" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple8)]
("Gary" "is" "round" "-")
triple8
Gary is red.
True
2
proof
[(((triple11) -> rule4) OR ((((triple8 triple9 ((triple9 triple8) -> rule2)) -> rule3)) -> rule4))]
("Gary" "is" "red" "+")
((triple11) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple8 triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Fred is not red.
False
2
inv-proof
[(((triple7) -> rule4))]
("Fred" "is" "red" "-")
((triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is cold.
True
6
proof
[(((triple1 triple2 ((triple2 triple1) -> rule2)) -> rule3))]
("Eric" "is" "cold" "+")
((triple1 triple2 ((triple2 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Fred is not kind.
False
4
inv-proof
[(((triple6 ((triple7) -> rule4)) -> rule1))]
("Fred" "is" "kind" "-")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Eric is red.
True
7
proof
[(((((triple1 triple2 ((triple2 triple1) -> rule2)) -> rule3)) -> rule4))]
("Eric" "is" "red" "+")
((((triple1 triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not red.
False
7
inv-proof
[(((((triple1 triple2 ((triple2 triple1) -> rule2)) -> rule3)) -> rule4))]
("Eric" "is" "red" "-")
((((triple1 triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Eric is green.[(triple4)] Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is round.[(triple1)] Fred is cold.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Gary is cold.[(triple11 OR ((triple8 triple9 ((triple9 triple8) -> rule2)) -> rule3))] Gary is green.[(triple10)] Gary is nice.[(triple9)] Gary is round.[(triple8)] @1: Eric is young.[(((triple2 triple1) -> rule2))] Fred is red.[(((triple7) -> rule4))] Gary is red.[(((triple11) -> rule4) OR ((((triple8 triple9 ((triple9 triple8) -> rule2)) -> rule3)) -> rule4))] Gary is young.[(((triple9 triple8) -> rule2))] @2: Eric is cold.[(((triple1 triple2 ((triple2 triple1) -> rule2)) -> rule3))] Fred is kind.[(((triple6 ((triple7) -> rule4)) -> rule1))] @3: Eric is red.[(((((triple1 triple2 ((triple2 triple1) -> rule2)) -> rule3)) -> rule4))]
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple8 triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
((triple2 triple1) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple8 triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple1 triple2 ((triple2 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple1 triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
Fred is rough and cold, but he's young and will get over it.
One day Gary, a very nice old man with green ears, asked if I was as cold a block of ice; I said no but that I had heard that round people like him are cold blooded.
Whoever is rough and red must be kind.
A round person who is nice is young.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
If people are cold they are often red.
Young people tend to be blue all the time and rough.
A round and blue individual will also be a cold individual.