Bob ate some rotten meat and now feels green. Dave is big and round man that is looking rather green after seeing some bad mayonnaise. The big young man with the round body who seems to be having a rough time due to being green is named Fred. Even though Gary is big and round, he is cold much of the time. An individual that fits the nice, red, and kind description will fit the description of big, too. Young people who are big, downhearted, and blue are kind. All the big and young boys at the park are red. Red people feel blue about it. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. People who are kind and green are very often rough.
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Fred is young.
True
1
proof
[(triple5)]
("Fred" "is" "young" "+")
triple5
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Fred is red.
True
3
proof
[(((triple9 triple5) -> rule3))]
("Fred" "is" "red" "+")
((triple9 triple5) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple9 triple5) -> rule3))]
("Fred" "is" "red" "-")
((triple9 triple5) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
True
4
proof
[(((((triple9 triple5) -> rule3)) -> rule4))]
("Fred" "is" "blue" "+")
((((triple9 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not blue.
False
4
inv-proof
[(((((triple9 triple5) -> rule3)) -> rule4))]
("Fred" "is" "blue" "-")
((((triple9 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is kind.
True
7
proof
[(((triple9 ((((triple9 triple5) -> rule3)) -> rule4) triple5) -> rule2))]
("Fred" "is" "kind" "+")
((triple9 ((((triple9 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not kind.
False
7
inv-proof
[(((triple9 ((((triple9 triple5) -> rule3)) -> rule4) triple5) -> rule2))]
("Fred" "is" "kind" "-")
((triple9 ((((triple9 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@3: Dave is blue.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@3: Bob is blue.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is green.[(triple1)] Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is round.[(triple2)] Fred is big.[(triple9)] Fred is green.[(triple8)] Fred is rough.[(triple7 OR ((((triple9 ((((triple9 triple5) -> rule3)) -> rule4) triple5) -> rule2) triple8) -> rule6))] Fred is round.[(triple6)] Fred is young.[(triple5)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is round.[(triple10)] @1: Fred is red.[(((triple9 triple5) -> rule3))] @2: Fred is blue.[(((((triple9 triple5) -> rule3)) -> rule4))] @3: Fred is kind.[(((triple9 ((((triple9 triple5) -> rule3)) -> rule4) triple5) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
((((triple9 ((((triple9 triple5) -> (rule3 % int4))) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
((triple9 triple5) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((((triple9 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple9 ((((triple9 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Bob ate some rotten meat and now feels green.
Dave is big and round man that is looking rather green after seeing some bad mayonnaise.
The big young man with the round body who seems to be having a rough time due to being green is named Fred.
Even though Gary is big and round, he is cold much of the time.
An individual that fits the nice, red, and kind description will fit the description of big, too.
Young people who are big, downhearted, and blue are kind.
All the big and young boys at the park are red.
Red people feel blue about it.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
People who are kind and green are very often rough.