Bob is nice, even when he is rough and red with anger. Dave looks red to most people, with blue features. Even though Fred is young, he is still very round and still very red. Gary is a big gentleman who is very nice. He is secretly green with envy. A rough and kind person is big. Often, when you meet a rough person with red skin, you'll see that they are young too. A quite nice person who is red and green is also big. Most young and nice people will be kind. A round shaped and rough person will be blue as well. People with big hands and red, rough skin are terribly kind. Green people here that are also round and nice are always rough.
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Dave is not red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "-")
triple4
Bob is young.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "young" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "young" "-")
((triple1 triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
True
5
proof
[(((((triple1 triple2) -> rule2) triple3) -> rule4))]
("Bob" "is" "kind" "+")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((((triple1 triple2) -> rule2) triple3) -> rule4))]
("Bob" "is" "kind" "-")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
True
7
proof
[(((((((triple1 triple2) -> rule2) triple3) -> rule4) triple1) -> rule1))]
("Bob" "is" "big" "+")
((((((triple1 triple2) -> (rule2 % int3)) triple3) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not big.
False
7
inv-proof
[(((((((triple1 triple2) -> rule2) triple3) -> rule4) triple1) -> rule1))]
("Bob" "is" "big" "-")
((((((triple1 triple2) -> (rule2 % int3)) triple3) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "rough" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple5)] Dave is red.[(triple4)] Fred is red.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] @1: Bob is young.[(((triple1 triple2) -> rule2))] @2: Bob is kind.[(((((triple1 triple2) -> rule2) triple3) -> rule4))] @3: Bob is big.[(((((((triple1 triple2) -> rule2) triple3) -> rule4) triple1) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((((triple1 triple2) -> (rule2 % int3)) triple3) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice, even when he is rough and red with anger.
Dave looks red to most people, with blue features.
Even though Fred is young, he is still very round and still very red.
Gary is a big gentleman who is very nice; He is secretly green with envy.
A rough and kind person is big.
Often, when you meet a rough person with red skin, you'll see that they are young too.
A quite nice person who is red and green is also big.
Most young and nice people will be kind.
A round shaped and rough person will be blue as well.
People with big hands and red, rough skin are terribly kind.
Green people here that are also round and nice are always rough.