Eric always goes out of his way to show that he is kind to people. Fred, who is young, nice, green, and blue, is also rather big shaped. Gary always goes out of his way to show that he is kind to people. Harry is big and red, but he's young and will grow out of it. When someone is nice and rough they are usually red. Blue people who are cold are always round in shape. When you meet big guys with red hair, then tend to be cold hearted. A quite nice person will certainly be red. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. Big, blue people are red. If you find that someone has rough blue skin they are always kind.
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Fred is young.
True
1
proof
[(triple2)]
("Fred" "is" "young" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Harry is cold.
True
3
proof
[(((triple10 triple9) -> rule3))]
("Harry" "is" "cold" "+")
((triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple3) -> rule4) OR ((triple5 triple6) -> rule6))]
("Fred" "is" "red" "-")
((triple3) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
True
4
proof
[(((triple6 ((triple3) -> rule4)) -> rule3) OR ((triple6 ((triple5 triple6) -> rule6)) -> rule3))]
("Fred" "is" "cold" "+")
((triple6 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((triple6 ((triple5 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not cold.
False
4
inv-proof
[(((triple6 ((triple3) -> rule4)) -> rule3) OR ((triple6 ((triple5 triple6) -> rule6)) -> rule3))]
("Fred" "is" "cold" "-")
((triple6 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((triple6 ((triple5 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
True
6
proof
[(((triple5 ((triple6 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple5 ((triple6 ((triple5 triple6) -> rule6)) -> rule3)) -> rule2))]
("Fred" "is" "round" "+")
((triple5 ((triple6 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
((triple5 ((triple6 ((triple5 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not round.
False
6
inv-proof
[(((triple5 ((triple6 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple5 ((triple6 ((triple5 triple6) -> rule6)) -> rule3)) -> rule2))]
("Fred" "is" "round" "-")
((triple5 ((triple6 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
((triple5 ((triple6 ((triple5 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Eric is kind.[(triple1)] Fred is big.[(triple6)] Fred is blue.[(triple5)] Fred is green.[(triple4)] Fred is nice.[(triple3)] Fred is young.[(triple2)] Gary is kind.[(triple7)] Harry is big.[(triple10)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Fred is red.[(((triple3) -> rule4) OR ((triple5 triple6) -> rule6))] Harry is cold.[(((triple10 triple9) -> rule3))] @2: Fred is cold.[(((triple6 ((triple3) -> rule4)) -> rule3) OR ((triple6 ((triple5 triple6) -> rule6)) -> rule3))] @3: Fred is round.[(((triple5 ((triple6 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple5 ((triple6 ((triple5 triple6) -> rule6)) -> rule3)) -> rule2))]
Eric is kind.
("Eric" "is" "kind" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
((triple3) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple6 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((triple6 ((triple5 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple5 ((triple6 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
((triple5 ((triple6 ((triple5 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Eric always goes out of his way to show that he is kind to people.
Fred, who is young, nice, green, and blue, is also rather big shaped.
Gary always goes out of his way to show that he is kind to people.
Harry is big and red, but he's young and will grow out of it.
When someone is nice and rough they are usually red.
Blue people who are cold are always round in shape.
When you meet big guys with red hair, then tend to be cold hearted.
A quite nice person will certainly be red.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
Big, blue people are red.
If you find that someone has rough blue skin they are always kind.