Bob was born only a few years ago so he is young. Nice, but round, Dave has been said to be cold. Because Eric gets cold easily he tends to appear round from bundling up. They always call him rough Fred. Anybody that is big is also someone who is going to be blue. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. People who are nice and cold are also green. Most kind and cold people are also big.
Bob is young.
("Bob" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Eric is round.
True
1
proof
[(triple5)]
("Eric" "is" "round" "+")
triple5
Eric is not cold.
False
1
inv-proof
[(triple6)]
("Eric" "is" "cold" "-")
triple6
Dave is green.
True
3
proof
[(((triple3 triple4) -> rule3))]
("Dave" "is" "green" "+")
((triple3 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("Dave" "is" "green" "-")
((triple3 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
True
6
proof
[(((((triple3 triple4) -> rule3) triple3 triple2) -> rule2))]
("Dave" "is" "kind" "+")
((((triple3 triple4) -> (rule3 % int2)) triple3 triple2) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((((triple3 triple4) -> rule3) triple3 triple2) -> rule2))]
("Dave" "is" "kind" "-")
((((triple3 triple4) -> (rule3 % int2)) triple3 triple2) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
True
8
proof
[(((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4))]
("Dave" "is" "big" "+")
((((((triple3 triple4) -> (rule3 % int3)) triple3 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not big.
False
8
inv-proof
[(((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4))]
("Dave" "is" "big" "-")
((((((triple3 triple4) -> (rule3 % int3)) triple3 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
True
9
proof
[(((((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4)) -> rule1))]
("Dave" "is" "blue" "+")
((((((((triple3 triple4) -> (rule3 % int4)) triple3 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not blue.
False
9
inv-proof
[(((((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4)) -> rule1))]
("Dave" "is" "blue" "-")
((((((((triple3 triple4) -> (rule3 % int4)) triple3 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Eric is not blue.
Unknown
inv-rconc
[@3: Eric is blue.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is young.[(triple1)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is cold.[(triple6)] Eric is round.[(triple5)] Fred is rough.[(triple7)] @1: Dave is green.[(((triple3 triple4) -> rule3))] @2: Dave is kind.[(((((triple3 triple4) -> rule3) triple3 triple2) -> rule2))] @3: Dave is big.[(((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4))] @4: Dave is blue.[(((((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3 triple4) -> (rule3 % int2)) triple3 triple2) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((((triple3 triple4) -> (rule3 % int3)) triple3 triple2) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((((((((triple3 triple4) -> (rule3 % int4)) triple3 triple2) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Bob was born only a few years ago so he is young.
Nice, but round, Dave has been said to be cold.
Because Eric gets cold easily he tends to appear round from bundling up.
They always call him rough Fred.
Anybody that is big is also someone who is going to be blue.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
People who are nice and cold are also green.
Most kind and cold people are also big.