Alan is big and dresses in blue. Bob is really big and young, wearing red and blue while feeling cold. Dave ate some rotten meat and now feels green. Eric always goes out of his way to show that he is kind to people. People who are big and kind are also round. Santa Claus is red and kind. He is also very nice, especially to children. A quite nice person will certainly be red. Rough young folks are surprisingly kind. People who are blue and cold are red. Young,cold and blue people are mostly round. People that are blue, cold, and big, are rather rough.
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple8)]
("Dave" "is" "green" "+")
triple8
Bob is not big.
False
1
inv-proof
[(triple7)]
("Bob" "is" "big" "-")
triple7
Bob is rough.
True
4
proof
[(((triple6 triple5 triple7) -> rule7))]
("Bob" "is" "rough" "+")
((triple6 triple5 triple7) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
4
inv-proof
[(((triple6 triple5 triple7) -> rule7))]
("Bob" "is" "rough" "-")
((triple6 triple5 triple7) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
True
6
proof
[(((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4))]
("Bob" "is" "kind" "+")
((triple3 ((triple6 triple5 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4))]
("Bob" "is" "kind" "-")
((triple3 ((triple6 triple5 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
True
8
proof
[(((triple4 ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2) OR ((((triple6 triple5) -> rule5) ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2))]
("Bob" "is" "nice" "+")
((triple4 ((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6 triple5) -> (rule5 % int4)) ((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not nice.
False
8
inv-proof
[(((triple4 ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2) OR ((((triple6 triple5) -> rule5) ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2))]
("Bob" "is" "nice" "-")
((triple4 ((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6 triple5) -> (rule5 % int4)) ((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is big.[(triple2)] Alan is blue.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is red.[(triple4 OR ((triple6 triple5) -> rule5))] Bob is young.[(triple3)] Dave is green.[(triple8)] Eric is kind.[(triple9)] @1: Bob is rough.[(((triple6 triple5 triple7) -> rule7))] Bob is round.[(((triple6 triple3 triple5) -> rule6) OR ((((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4) triple7) -> rule1))] @2: Bob is kind.[(((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4))] @3: Bob is nice.[(((triple4 ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2) OR ((((triple6 triple5) -> rule5) ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple6 triple5) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
((triple6 triple5 triple7) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple6 triple3 triple5) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple6 triple5 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple4 ((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6 triple5) -> (rule5 % int4)) ((triple3 ((triple6 triple5 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Alan is big and dresses in blue.
Bob is really big and young, wearing red and blue while feeling cold.
Dave ate some rotten meat and now feels green.
Eric always goes out of his way to show that he is kind to people.
People who are big and kind are also round.
Santa Claus is red and kind; He is also very nice, especially to children.
A quite nice person will certainly be red.
Rough young folks are surprisingly kind.
People who are blue and cold are red.
Young,cold and blue people are mostly round.
People that are blue, cold, and big, are rather rough.