Eric is a kind and red colored guy. Fred is rather young, but he is also kind, green, cold and big. Young, round, and cold people have a habit of looking pretty red. A kind and cold person who is green is, surprisingly, also blue. A person that is feeling blue and slightly big, is red as well. A person who is kind but also rough and is also colored blue, will be shaped round. Someone that is red and blue because they are cold are also round.
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Fred is green.
True
1
proof
[(triple5)]
("Fred" "is" "green" "+")
triple5
Fred is not young.
False
1
inv-proof
[(triple3)]
("Fred" "is" "young" "-")
triple3
Fred is blue.
True
4
proof
[(((triple4 triple6 triple5) -> rule2))]
("Fred" "is" "blue" "+")
((triple4 triple6 triple5) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple4 triple6 triple5) -> rule2))]
("Fred" "is" "blue" "-")
((triple4 triple6 triple5) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
True
6
proof
[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3))]
("Fred" "is" "red" "+")
((triple7 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not red.
False
6
inv-proof
[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3))]
("Fred" "is" "red" "-")
((triple7 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
True
12
proof
[(((((triple4 triple6 triple5) -> rule2) ((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3) triple6) -> rule5))]
("Fred" "is" "round" "+")
((((triple4 triple6 triple5) -> (rule2 % int3)) ((triple7 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not round.
False
12
inv-proof
[(((((triple4 triple6 triple5) -> rule2) ((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3) triple6) -> rule5))]
("Fred" "is" "round" "-")
((((triple4 triple6 triple5) -> (rule2 % int3)) ((triple7 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Eric is kind.[(triple2)] Eric is red.[(triple1)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Fred is young.[(triple3)] @1: Fred is blue.[(((triple4 triple6 triple5) -> rule2))] @2: Fred is red.[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3))] @3: Fred is round.[(((((triple4 triple6 triple5) -> rule2) ((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3) triple6) -> rule5))]
Eric is kind.
("Eric" "is" "kind" "+")
triple2
Eric is red.
("Eric" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
((triple4 triple6 triple5) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple7 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple4 triple6 triple5) -> (rule2 % int3)) ((triple7 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Eric is a kind and red colored guy.
Fred is rather young, but he is also kind, green, cold and big.
Young, round, and cold people have a habit of looking pretty red.
A kind and cold person who is green is, surprisingly, also blue.
A person that is feeling blue and slightly big, is red as well.
A person who is kind but also rough and is also colored blue, will be shaped round.
Someone that is red and blue because they are cold are also round.