Dave has a round,red,rough looking face with kind eyes. Eric wears all blue. Others enjoy Gary's company because he is so nice and kind. Harry is both young and fairly round in size. Santa Claus is red and kind. He is also very nice, especially to children. Nice people are kind and rough when they are young. Young people tend to rough and nice, but they are also red. Young people who are cold and painted red are usually big and part of the football team. Young, kind people with a round body shape can be cold to strangers.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Gary is kind.
True
1
proof
[(triple7)]
("Gary" "is" "kind" "+")
triple7
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Dave is nice.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Dave" "is" "nice" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Dave" "is" "nice" "-")
((triple3 triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
True
6
proof
[(((((triple3 triple4) -> rule1) triple4 triple2) -> rule2))]
("Dave" "is" "young" "+")
((((triple3 triple4) -> (rule1 % int2)) triple4 triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not young.
False
6
inv-proof
[(((((triple3 triple4) -> rule1) triple4 triple2) -> rule2))]
("Dave" "is" "young" "-")
((((triple3 triple4) -> (rule1 % int2)) triple4 triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
True
9
proof
[(((triple4 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2) triple1) -> rule5))]
("Dave" "is" "cold" "+")
((triple4 ((((triple3 triple4) -> (rule1 % int3)) triple4 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not cold.
False
9
inv-proof
[(((triple4 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2) triple1) -> rule5))]
("Dave" "is" "cold" "-")
((triple4 ((((triple3 triple4) -> (rule1 % int3)) triple4 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
True
17
proof
[(((((triple4 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2) triple1) -> rule5) triple3 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2)) -> rule4))]
("Dave" "is" "big" "+")
((((triple4 ((((triple3 triple4) -> (rule1 % int4)) triple4 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple3 ((((triple3 triple4) -> (rule1 % int4)) triple4 triple2) -> (rule2 % int3))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not big.
False
17
inv-proof
[(((((triple4 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2) triple1) -> rule5) triple3 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2)) -> rule4))]
("Dave" "is" "big" "-")
((((triple4 ((((triple3 triple4) -> (rule1 % int4)) triple4 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple3 ((((triple3 triple4) -> (rule1 % int4)) triple4 triple2) -> (rule2 % int3))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is blue.[(triple5)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Dave is nice.[(((triple3 triple4) -> rule1))] @2: Dave is young.[(((((triple3 triple4) -> rule1) triple4 triple2) -> rule2))] @3: Dave is cold.[(((triple4 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2) triple1) -> rule5))] @4: Dave is big.[(((((triple4 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2) triple1) -> rule5) triple3 ((((triple3 triple4) -> rule1) triple4 triple2) -> rule2)) -> rule4))]
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple3 triple4) -> (rule1 % int2)) triple4 triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 ((((triple3 triple4) -> (rule1 % int3)) triple4 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((triple4 ((((triple3 triple4) -> (rule1 % int4)) triple4 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple3 ((((triple3 triple4) -> (rule1 % int4)) triple4 triple2) -> (rule2 % int3))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave has a round,red,rough looking face with kind eyes.
Eric wears all blue.
Others enjoy Gary's company because he is so nice and kind.
Harry is both young and fairly round in size.
Santa Claus is red and kind; He is also very nice, especially to children.
Nice people are kind and rough when they are young.
Young people tend to rough and nice, but they are also red.
Young people who are cold and painted red are usually big and part of the football team.
Young, kind people with a round body shape can be cold to strangers.