Dave is a rather big guy with rough features. He's pretty red and green, most of the time. Because Eric gets cold easily he tends to appear round from bundling up. Fred is nice, even when he is rough and red with anger. Others enjoy Harry's company because he is so nice and kind. Red, kind, rough people are the young ones. Anybody that is big is also someone who is going to be blue. Big, rough people sometimes are also green and when they are they must be cold. Someone who is blue and cold is also big. It's just a fact that a blue person is a kind person. It's true that green and blue people are also red people.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Eric is not round.
False
1
inv-proof
[(triple5)]
("Eric" "is" "round" "-")
triple5
Dave is cold.
True
4
proof
[(((triple1 triple4 triple3) -> rule3))]
("Dave" "is" "cold" "+")
((triple1 triple4 triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple1 triple4 triple3) -> rule3))]
("Dave" "is" "cold" "-")
((triple1 triple4 triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
True
3
proof
[(((((triple4) -> rule2)) -> rule5))]
("Dave" "is" "kind" "+")
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not kind.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule5))]
("Dave" "is" "kind" "-")
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
True
6
proof
[(((triple2 ((((triple4) -> rule2)) -> rule5) triple1) -> rule1) OR ((((triple3 ((triple4) -> rule2)) -> rule6) ((((triple4) -> rule2)) -> rule5) triple1) -> rule1))]
("Dave" "is" "young" "+")
((triple2 ((((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple3 ((triple4) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule2 % int4))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not young.
False
6
inv-proof
[(((triple2 ((((triple4) -> rule2)) -> rule5) triple1) -> rule1) OR ((((triple3 ((triple4) -> rule2)) -> rule6) ((((triple4) -> rule2)) -> rule5) triple1) -> rule1))]
("Dave" "is" "young" "-")
((triple2 ((((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple3 ((triple4) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule2 % int4))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Eric" "is" "blue" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Fred is kind.
Unknown
rconc
[@3: Fred is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is red.[(triple2 OR ((triple3 ((triple4) -> rule2)) -> rule6))] Dave is rough.[(triple1)] Eric is cold.[(triple6)] Eric is round.[(triple5)] Fred is nice.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Dave is blue.[(((triple4) -> rule2))] Dave is cold.[(((triple1 triple4 triple3) -> rule3))] @2: Dave is kind.[(((((triple4) -> rule2)) -> rule5))] @3: Dave is young.[(((triple2 ((((triple4) -> rule2)) -> rule5) triple1) -> rule1) OR ((((triple3 ((triple4) -> rule2)) -> rule6) ((((triple4) -> rule2)) -> rule5) triple1) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
((triple3 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 triple4 triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple2 ((((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple3 ((triple4) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule2 % int4))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is a rather big guy with rough features; He's pretty red and green, most of the time.
Because Eric gets cold easily he tends to appear round from bundling up.
Fred is nice, even when he is rough and red with anger.
Others enjoy Harry's company because he is so nice and kind.
Red, kind, rough people are the young ones.
Anybody that is big is also someone who is going to be blue.
Big, rough people sometimes are also green and when they are they must be cold.
Someone who is blue and cold is also big.
It's just a fact that a blue person is a kind person.
It's true that green and blue people are also red people.