Eric is a nice, kind young man.  Eric keeps a sweater with him because he is always cold. Fred has rough skin so it is red. He is big but so very kind. To the touch Harry has rough, cold skin. A big person who feels cold and has blue skin is a nice person. Big and round people can't help but be cold all of the time. A person with a rough quality is also a person with a blue quality. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. A rough, big, and round person can't help but be kind as well. Nice people are cold people.
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is cold.
True
1
proof
[(triple10)]
("Harry" "is" "cold" "+")
triple10
Fred is not big.
False
1
inv-proof
[(triple8)]
("Fred" "is" "big" "-")
triple8
Fred is blue.
True
2
proof
[(((triple5) -> rule3))]
("Fred" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
2
inv-proof
[(((triple5) -> rule3))]
("Fred" "is" "blue" "-")
((triple5) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
True
5
proof
[(((triple6 triple5 ((triple5) -> rule3)) -> rule4))]
("Fred" "is" "nice" "+")
((triple6 triple5 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple6 triple5 ((triple5) -> rule3)) -> rule4))]
("Fred" "is" "nice" "-")
((triple6 triple5 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
True
6
proof
[(((((triple6 triple5 ((triple5) -> rule3)) -> rule4)) -> rule6))]
("Fred" "is" "cold" "+")
((((triple6 triple5 ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not cold.
False
6
inv-proof
[(((((triple6 triple5 ((triple5) -> rule3)) -> rule4)) -> rule6))]
("Fred" "is" "cold" "-")
((((triple6 triple5 ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Eric is cold.[(triple4 OR ((triple2) -> rule6))] Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is young.[(triple1)] Fred is big.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Harry is cold.[(triple10)] Harry is rough.[(triple9)] @1: Fred is blue.[(((triple5) -> rule3))] Harry is blue.[(((triple9) -> rule3))] @2: Fred is nice.[(((triple6 triple5 ((triple5) -> rule3)) -> rule4))] @3: Fred is cold.[(((((triple6 triple5 ((triple5) -> rule3)) -> rule4)) -> rule6))]
Eric is cold.
("Eric" "is" "cold" "+")
triple4
((triple2) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 triple5 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple6 triple5 ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Eric is a nice, kind young man; Eric keeps a sweater with him because he is always cold.
Fred has rough skin so it is red; He is big but so very kind.
To the touch Harry has rough, cold skin.
A big person who feels cold and has blue skin is a nice person.
Big and round people can't help but be cold all of the time.
A person with a rough quality is also a person with a blue quality.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
A rough, big, and round person can't help but be kind as well.
Nice people are cold people.