Bob is nice but rough around the edges. He is round which makes him blue and a touch green with envy of other. That rough but kind guy is Dave, the green one. Being young, Gary is still green and blue. Anyone who manages to be round, blue, and green must be pretty big. Someone who is round in shape and green in color is usually cold. Young people who are big, downhearted, and blue are kind. When a nice blue person is also red, they get called rough. A big, nice, blue person is likely to be young. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Big kind people are usually cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
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 nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is rough.
True
1
proof
[(triple6)]
("Dave" "is" "rough" "+")
triple6
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Bob is cold.
True
3
proof
[(((triple4 triple1) -> rule2) OR ((((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3) ((triple1 triple5 triple4) -> rule1)) -> rule7))]
("Bob" "is" "cold" "+")
((triple4 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((((triple1 triple5 triple4) -> (rule1 % int4)) triple5 ((((triple1 triple5 triple4) -> (rule1 % int4)) triple3 triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple5 triple4) -> (rule1 % int4))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not cold.
False
3
inv-proof
[(((triple4 triple1) -> rule2) OR ((((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3) ((triple1 triple5 triple4) -> rule1)) -> rule7))]
("Bob" "is" "cold" "-")
((triple4 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((((triple1 triple5 triple4) -> (rule1 % int4)) triple5 ((((triple1 triple5 triple4) -> (rule1 % int4)) triple3 triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple5 triple4) -> (rule1 % int4))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
True
7
proof
[(((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5))]
("Bob" "is" "young" "+")
((((triple1 triple5 triple4) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not young.
False
7
inv-proof
[(((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5))]
("Bob" "is" "young" "-")
((((triple1 triple5 triple4) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
True
13
proof
[(((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3))]
("Bob" "is" "kind" "+")
((((triple1 triple5 triple4) -> (rule1 % int3)) triple5 ((((triple1 triple5 triple4) -> (rule1 % int3)) triple3 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not kind.
False
13
inv-proof
[(((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3))]
("Bob" "is" "kind" "-")
((((triple1 triple5 triple4) -> (rule1 % int3)) triple5 ((((triple1 triple5 triple4) -> (rule1 % int3)) triple3 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is young.[(triple9)] @1: Bob is big.[(((triple1 triple5 triple4) -> rule1))] Bob is cold.[(((triple4 triple1) -> rule2) OR ((((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3) ((triple1 triple5 triple4) -> rule1)) -> rule7))] @2: Bob is young.[(((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5))] @3: Bob is kind.[(((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((((triple1 triple5 triple4) -> (rule1 % int4)) triple5 ((((triple1 triple5 triple4) -> (rule1 % int4)) triple3 triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple5 triple4) -> (rule1 % int4))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple1 triple5 triple4) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1 triple5 triple4) -> (rule1 % int3)) triple5 ((((triple1 triple5 triple4) -> (rule1 % int3)) triple3 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice but rough around the edges; He is round which makes him blue and a touch green with envy of other.
That rough but kind guy is Dave, the green one.
Being young, Gary is still green and blue.
Anyone who manages to be round, blue, and green must be pretty big.
Someone who is round in shape and green in color is usually cold.
Young people who are big, downhearted, and blue are kind.
When a nice blue person is also red, they get called rough.
A big, nice, blue person is likely to be young.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Big kind people are usually cold.