Bob gets red when he is mad and tends to act very cold. To the touch Dave has rough, cold skin. That rough but kind guy is Eric, the green one. Fred was born only a few years ago so he is young. Kind young people are red. Surprisingly, all the kind, green people were also big. Kind big people are green and young. A green and quite rough person will also be blue. A cold human with round and rough aspects is always kind. A big, green person who is cold is assumed to be red also.
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Eric is rough.
True
1
proof
[(triple5)]
("Eric" "is" "rough" "+")
triple5
Eric is not rough.
False
1
inv-proof
[(triple5)]
("Eric" "is" "rough" "-")
triple5
Eric is big.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "big" "-")
((triple6 triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
True
6
proof
[(((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3))]
("Eric" "is" "young" "+")
((triple6 triple7 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3))]
("Eric" "is" "young" "-")
((triple6 triple7 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
8
proof
[(((triple6 ((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
("Eric" "is" "red" "+")
((triple6 ((triple6 triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
8
inv-proof
[(((triple6 ((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
("Eric" "is" "red" "-")
((triple6 ((triple6 triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is cold.[(triple2)] Bob is red.[(triple1)] Dave is cold.[(triple4)] Dave is rough.[(triple3)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is rough.[(triple5)] Fred is young.[(triple8)] @1: Eric is big.[(((triple6 triple7) -> rule2))] Eric is blue.[(((triple5 triple7) -> rule4))] @2: Eric is young.[(((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3))] @3: Eric is red.[(((triple6 ((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple8
Eric is big.
("Eric" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 triple7) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple6 triple7 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple6 ((triple6 triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob gets red when he is mad and tends to act very cold.
To the touch Dave has rough, cold skin.
That rough but kind guy is Eric, the green one.
Fred was born only a few years ago so he is young.
Kind young people are red.
Surprisingly, all the kind, green people were also big.
Kind big people are green and young.
A green and quite rough person will also be blue.
A cold human with round and rough aspects is always kind.
A big, green person who is cold is assumed to be red also.