Even though Alan is green with envy he is nice with rosy red cheeks. The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been. Dave ate some rotten meat and now feels green. Eric is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. A nice, big person that is red is usually young. Rough folks with green and red coloration tend to feel cold no matter what. If a person that is blue and green is also cold, that means that they are young. A cold temperatured and rough person who is also green will be big shaped. Someone who is cold and big is also a red person. People who are cold and and red are also young and kind.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Eric is nice.
True
1
proof
[(triple11)]
("Eric" "is" "nice" "+")
triple11
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Bob is cold.
True
4
proof
[(((triple4 triple7 triple5) -> rule2))]
("Bob" "is" "cold" "+")
((triple4 triple7 triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
4
inv-proof
[(((triple4 triple7 triple5) -> rule2))]
("Bob" "is" "cold" "-")
((triple4 triple7 triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
True
7
proof
[(((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4))]
("Bob" "is" "big" "+")
((((triple4 triple7 triple5) -> (rule2 % int2)) triple4 triple7) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not big.
False
7
inv-proof
[(((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4))]
("Bob" "is" "big" "-")
((((triple4 triple7 triple5) -> (rule2 % int2)) triple4 triple7) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
True
10
proof
[(((triple6 triple5 ((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4)) -> rule1))]
("Bob" "is" "young" "+")
((triple6 triple5 ((((triple4 triple7 triple5) -> (rule2 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not young.
False
10
inv-proof
[(((triple6 triple5 ((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4)) -> rule1))]
("Bob" "is" "young" "-")
((triple6 triple5 ((((triple4 triple7 triple5) -> (rule2 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
True
16
proof
[(((triple5 ((triple6 triple5 ((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4)) -> rule1) ((triple4 triple7 triple5) -> rule2)) -> rule6))]
("Bob" "is" "kind" "+")
((triple5 ((triple6 triple5 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4 triple7 triple5) -> (rule2 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not kind.
False
16
inv-proof
[(((triple5 ((triple6 triple5 ((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4)) -> rule1) ((triple4 triple7 triple5) -> rule2)) -> rule6))]
("Bob" "is" "kind" "-")
((triple5 ((triple6 triple5 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4 triple7 triple5) -> (rule2 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is kind.
Unknown
rconc
[@3: Eric is kind.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule4 <- FAIL)]]
("Eric" "is" "kind" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple7)] Bob is nice.[(triple6)] Bob is red.[(triple5)] Bob is rough.[(triple4)] Dave is green.[(triple8)] Eric is cold.[(triple12)] Eric is nice.[(triple11)] Eric is red.[(triple10)] Eric is rough.[(triple9)] @1: Bob is cold.[(((triple4 triple7 triple5) -> rule2))] @2: Bob is big.[(((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4))] @3: Bob is young.[(((triple6 triple5 ((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4)) -> rule1))] @4: Bob is kind.[(((triple5 ((triple6 triple5 ((((triple4 triple7 triple5) -> rule2) triple4 triple7) -> rule4)) -> rule1) ((triple4 triple7 triple5) -> rule2)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple12
Eric is nice.
("Eric" "is" "nice" "+")
triple11
Eric is red.
("Eric" "is" "red" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple7 triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple4 triple7 triple5) -> (rule2 % int2)) triple4 triple7) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple5 ((((triple4 triple7 triple5) -> (rule2 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((triple5 ((triple6 triple5 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4 triple7 triple5) -> (rule2 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Even though Alan is green with envy he is nice with rosy red cheeks.
The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Dave ate some rotten meat and now feels green.
Eric is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
A nice, big person that is red is usually young.
Rough folks with green and red coloration tend to feel cold no matter what.
If a person that is blue and green is also cold, that means that they are young.
A cold temperatured and rough person who is also green will be big shaped.
Someone who is cold and big is also a red person.
People who are cold and and red are also young and kind.