Alan ate some rotten meat and now feels green. Bob is a very kind, green but sometimes cold person. Young Dave is red, green and cold. That big rough Gary guy is both red and blue at the same time. When young, round people are cold it their skin gets a blue tinge to it. Kind, young, green persons are sure to be rough persons, too. If people are cold they are often red. Despite being kind cold people with red ears will still be big. Big people that have a rough demeanor usually feel blue. If you meet someone who is big and kind with cold skin, they will be young. If a person is red, kind, and nice then they must be round.
Alan is green.
("Alan" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Alan is not green.
False
1
inv-proof
[(triple1)]
("Alan" "is" "green" "-")
triple1
Bob is red.
True
2
proof
[(((triple4) -> rule3))]
("Bob" "is" "red" "+")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple4) -> rule3))]
("Bob" "is" "red" "-")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
True
5
proof
[(((triple4 ((triple4) -> rule3) triple2) -> rule4))]
("Bob" "is" "big" "+")
((triple4 ((triple4) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not big.
False
5
inv-proof
[(((triple4 ((triple4) -> rule3) triple2) -> rule4))]
("Bob" "is" "big" "-")
((triple4 ((triple4) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
True
8
proof
[(((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6))]
("Bob" "is" "young" "+")
((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not young.
False
8
inv-proof
[(((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6))]
("Bob" "is" "young" "-")
((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
True
11
proof
[(((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2))]
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int4)) triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not rough.
False
11
inv-proof
[(((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2))]
("Bob" "is" "rough" "-")
((triple2 ((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int4)) triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
True
17
proof
[(((((triple4 ((triple4) -> rule3) triple2) -> rule4) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2)) -> rule5))]
("Bob" "is" "blue" "+")
((((triple4 ((triple4) -> (rule3 % int5)) triple2) -> (rule4 % int4)) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int5)) triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is not blue.
False
17
inv-proof
[(((((triple4 ((triple4) -> rule3) triple2) -> rule4) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2)) -> rule5))]
("Bob" "is" "blue" "-")
((((triple4 ((triple4) -> (rule3 % int5)) triple2) -> (rule4 % int4)) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int5)) triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Dave" "is" "blue" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "round" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is green.[(triple1)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6 OR ((triple8) -> rule3))] Dave is young.[(triple5)] Gary is big.[(triple12)] Gary is blue.[(triple11 OR ((triple12 triple9) -> rule5))] Gary is red.[(triple10)] Gary is rough.[(triple9)] @1: Bob is red.[(((triple4) -> rule3))] @2: Bob is big.[(((triple4 ((triple4) -> rule3) triple2) -> rule4))] @3: Bob is young.[(((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6))] @4: Bob is rough.[(((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2))] @5: Bob is blue.[(((((triple4 ((triple4) -> rule3) triple2) -> rule4) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
((triple8) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple12 triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple4 ((triple4) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int4)) triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((((triple4 ((triple4) -> (rule3 % int5)) triple2) -> (rule4 % int4)) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> (rule3 % int5)) triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Alan ate some rotten meat and now feels green.
Bob is a very kind, green but sometimes cold person.
Young Dave is red, green and cold.
That big rough Gary guy is both red and blue at the same time.
When young, round people are cold it their skin gets a blue tinge to it.
Kind, young, green persons are sure to be rough persons, too.
If people are cold they are often red.
Despite being kind cold people with red ears will still be big.
Big people that have a rough demeanor usually feel blue.
If you meet someone who is big and kind with cold skin, they will be young.
If a person is red, kind, and nice then they must be round.