Bob ate some rotten meat and now feels green. That big young man is Eric he can act in a somewhat rough manner but that's just because he feels very green here. Big Fred is fairly young. When he was a small child he would wear his parka and you could see his little green body in the distance. His lips would turn blue when he was cold. Gary is so young and darling he is kind to all the old people on the block. Young round blue people are also big people. People who are rough are young. Cold people who are young and green are actually nice. A young round person who is green is also red. Someone who is young and nice is often round.
Bob is green.
("Bob" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Eric is green.
True
1
proof
[(triple4)]
("Eric" "is" "green" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple12)]
("Gary" "is" "kind" "-")
triple12
Fred is nice.
True
4
proof
[(((triple8 triple7 triple6) -> rule3))]
("Fred" "is" "nice" "+")
((triple8 triple7 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
4
inv-proof
[(((triple8 triple7 triple6) -> rule3))]
("Fred" "is" "nice" "-")
((triple8 triple7 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
True
6
proof
[(((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5))]
("Fred" "is" "round" "+")
((triple6 ((triple8 triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not round.
False
6
inv-proof
[(((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5))]
("Fred" "is" "round" "-")
((triple6 ((triple8 triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
True
9
proof
[(((triple6 ((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))]
("Fred" "is" "red" "+")
((triple6 ((triple6 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not red.
False
9
inv-proof
[(((triple6 ((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))]
("Fred" "is" "red" "-")
((triple6 ((triple6 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is red.
Unknown
rconc
[@3: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Bob is green.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is rough.[(triple3)] Eric is young.[(triple2 OR ((triple3) -> rule2))] Fred is big.[(triple10 OR ((((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5) triple9 triple6) -> rule1))] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is young.[(triple6)] Gary is kind.[(triple12)] Gary is young.[(triple11)] @1: Fred is nice.[(((triple8 triple7 triple6) -> rule3))] @2: Fred is round.[(((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5))] @3: Fred is red.[(((triple6 ((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
((triple3) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
triple10
((((triple6 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple9 triple6) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple7 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple6 ((triple8 triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((triple6 ((triple6 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob ate some rotten meat and now feels green.
That big young man is Eric he can act in a somewhat rough manner but that's just because he feels very green here.
Big Fred is fairly young; When he was a small child he would wear his parka and you could see his little green body in the distance; His lips would turn blue when he was cold.
Gary is so young and darling he is kind to all the old people on the block.
Young round blue people are also big people.
People who are rough are young.
Cold people who are young and green are actually nice.
A young round person who is green is also red.
Someone who is young and nice is often round.