Bob is a kind and red colored guy. Eric always goes out of his way to show that he is kind to people. Fred is a rather big guy with rough features. He's pretty red and green, most of the time. People who are round and young are also very nice. That young person is feeling cold because he is green to the situation making his body shape round. Color anybody red and blue, then make them rough, and they will surely be round. If a person that is blue and green is also cold, that means that they are young. A person that is known to be big and rough is also green, they will feel blue about it. Round and somewhat big people manage to be kind to everyone. I believe that red, cold, rough people are likely to be green.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple4)]
("Fred" "is" "rough" "+")
triple4
Fred is not big.
False
1
inv-proof
[(triple7)]
("Fred" "is" "big" "-")
triple7
Fred is blue.
True
4
proof
[(((triple7 triple4 triple6) -> rule5))]
("Fred" "is" "blue" "+")
((triple7 triple4 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple7 triple4 triple6) -> rule5))]
("Fred" "is" "blue" "-")
((triple7 triple4 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
True
7
proof
[(((((triple7 triple4 triple6) -> rule5) triple4 triple5) -> rule3))]
("Fred" "is" "round" "+")
((((triple7 triple4 triple6) -> (rule5 % int2)) triple4 triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
7
inv-proof
[(((((triple7 triple4 triple6) -> rule5) triple4 triple5) -> rule3))]
("Fred" "is" "round" "-")
((((triple7 triple4 triple6) -> (rule5 % int2)) triple4 triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
True
9
proof
[(((((((triple7 triple4 triple6) -> rule5) triple4 triple5) -> rule3) triple7) -> rule6))]
("Fred" "is" "kind" "+")
((((((triple7 triple4 triple6) -> (rule5 % int3)) triple4 triple5) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not kind.
False
9
inv-proof
[(((((((triple7 triple4 triple6) -> rule5) triple4 triple5) -> rule3) triple7) -> rule6))]
("Fred" "is" "kind" "-")
((((((triple7 triple4 triple6) -> (rule5 % int3)) triple4 triple5) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Eric is kind.[(triple3)] Fred is big.[(triple7)] Fred is green.[(triple6)] Fred is red.[(triple5)] Fred is rough.[(triple4)] @1: Fred is blue.[(((triple7 triple4 triple6) -> rule5))] @2: Fred is round.[(((((triple7 triple4 triple6) -> rule5) triple4 triple5) -> rule3))] @3: Fred is kind.[(((((((triple7 triple4 triple6) -> rule5) triple4 triple5) -> rule3) triple7) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 triple4 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((((triple7 triple4 triple6) -> (rule5 % int2)) triple4 triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((((triple7 triple4 triple6) -> (rule5 % int3)) triple4 triple5) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is a kind and red colored guy.
Eric always goes out of his way to show that he is kind to people.
Fred is a rather big guy with rough features; He's pretty red and green, most of the time.
People who are round and young are also very nice.
That young person is feeling cold because he is green to the situation making his body shape round.
Color anybody red and blue, then make them rough, and they will surely be round.
If a person that is blue and green is also cold, that means that they are young.
A person that is known to be big and rough is also green, they will feel blue about it.
Round and somewhat big people manage to be kind to everyone.
I believe that red, cold, rough people are likely to be green.