Others enjoy Alan's company because he is so nice and kind. Bob is man who is rough, red, nice, kind, and also green. Fred was born only a few years ago so he is young. Harry had big, red, round cheeks. Big and cold people tend to see red and dont live green lifestyle. A person that is both green and red tends to be cold as well. Young people who rough around in the cold are known to be very red. A round shaped and young aged person will be very cold. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A person that is blue green and nice are that way because they are still young. Rough young folks are surprisingly kind.
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Bob is nice.
True
1
proof
[(triple5)]
("Bob" "is" "nice" "+")
triple5
Harry is not red.
False
1
inv-proof
[(triple10)]
("Harry" "is" "red" "-")
triple10
Bob is cold.
True
3
proof
[(((triple7 triple4) -> rule2))]
("Bob" "is" "cold" "+")
((triple7 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple7 triple4) -> rule2))]
("Bob" "is" "cold" "-")
((triple7 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
True
6
proof
[(((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5))]
("Bob" "is" "blue" "+")
((triple6 triple4 ((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not blue.
False
6
inv-proof
[(((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5))]
("Bob" "is" "blue" "-")
((triple6 triple4 ((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
True
9
proof
[(((((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5) triple7 triple5) -> rule6))]
("Bob" "is" "young" "+")
((((triple6 triple4 ((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple7 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not young.
False
9
inv-proof
[(((((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5) triple7 triple5) -> rule6))]
("Bob" "is" "young" "-")
((((triple6 triple4 ((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple7 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple7)] Bob is kind.[(triple6)] Bob is nice.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Fred is young.[(triple8)] Harry is big.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is cold.[(((triple7 triple4) -> rule2))] @2: Bob is blue.[(((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5))] @3: Bob is young.[(((((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5) triple7 triple5) -> rule6))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple7 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple6 triple4 ((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple6 triple4 ((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple7 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Others enjoy Alan's company because he is so nice and kind.
Bob is man who is rough, red, nice, kind, and also green.
Fred was born only a few years ago so he is young.
Harry had big, red, round cheeks.
Big and cold people tend to see red and dont live green lifestyle.
A person that is both green and red tends to be cold as well.
Young people who rough around in the cold are known to be very red.
A round shaped and young aged person will be very cold.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
A person that is blue green and nice are that way because they are still young.
Rough young folks are surprisingly kind.