Bob is rough, but often feels blue. He is pretty young. Dave ate some rotten meat and now feels green. Fred, like all young people, is nice. Gary is cold which makes him red! Gary is young and rough but also very kind. Nice blue people are often rough. It's a fact that young people are red people. You know when you meet a red, blue and kind person, that means they are green. Rough, round persons are also nice persons. Color anybody red and blue, then make them rough, and they will surely be round. It's always true that round, kind people are rough as well.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fred is nice.
True
1
proof
[(triple6)]
("Fred" "is" "nice" "+")
triple6
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Fred is red.
True
2
proof
[(((triple5) -> rule2))]
("Fred" "is" "red" "+")
((triple5) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fred" "is" "red" "-")
((triple5) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is round.
True
5
proof
[(((triple3 triple2 ((triple1) -> rule2)) -> rule5))]
("Bob" "is" "round" "+")
((triple3 triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple3 triple2 ((triple1) -> rule2)) -> rule5))]
("Bob" "is" "round" "-")
((triple3 triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
True
7
proof
[(((triple2 ((triple3 triple2 ((triple1) -> rule2)) -> rule5)) -> rule4))]
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((triple2 ((triple3 triple2 ((triple1) -> rule2)) -> rule5)) -> rule4))]
("Bob" "is" "nice" "-")
((triple2 ((triple3 triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is green.[(triple4)] Fred is nice.[(triple6)] Fred is young.[(triple5)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9 OR ((triple7) -> rule2))] Gary is rough.[(triple8)] Gary is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule2))] Fred is red.[(((triple5) -> rule2))] @2: Bob is round.[(((triple3 triple2 ((triple1) -> rule2)) -> rule5))] @3: Bob is nice.[(((triple2 ((triple3 triple2 ((triple1) -> rule2)) -> rule5)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple7) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple5) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough, but often feels blue; He is pretty young.
Dave ate some rotten meat and now feels green.
Fred, like all young people, is nice.
Gary is cold which makes him red! Gary is young and rough but also very kind.
Nice blue people are often rough.
It's a fact that young people are red people.
You know when you meet a red, blue and kind person, that means they are green.
Rough, round persons are also nice persons.
Color anybody red and blue, then make them rough, and they will surely be round.
It's always true that round, kind people are rough as well.