Charlie is blue and cold. Dave associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Eric is big and tends to wear red shirts. Harry, like all young people, is nice. A big person who also feels blue and a bit green are usually wearing red. Kind, young, green persons are sure to be rough persons, too. If you are big and young then your are also nice. Blue people round with fat are red from too much time in the sun. Invariably, any young person whose skin appears rough and green is bound to be quite big.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
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 big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple6)]
("Dave" "is" "blue" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple9)]
("Harry" "is" "young" "-")
triple9
Dave is rough.
True
4
proof
[(((triple4 triple3 triple5) -> rule2))]
("Dave" "is" "rough" "+")
((triple4 triple3 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
4
inv-proof
[(((triple4 triple3 triple5) -> rule2))]
("Dave" "is" "rough" "-")
((triple4 triple3 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
True
7
proof
[(((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5))]
("Dave" "is" "big" "+")
((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not big.
False
7
inv-proof
[(((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5))]
("Dave" "is" "big" "-")
((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
True
10
proof
[(((((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5) triple6 triple5) -> rule1))]
("Dave" "is" "red" "+")
((((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5) triple3) -> rule3))]
("Dave" "is" "nice" "-")
((((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple1)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is young.[(triple3)] Eric is big.[(triple8)] Eric is red.[(triple7)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Dave is rough.[(((triple4 triple3 triple5) -> rule2))] @2: Dave is big.[(((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5))] @3: Dave is nice.[(((((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5) triple3) -> rule3))] Dave is red.[(((((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5) triple6 triple5) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 triple3 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((triple3 triple5 ((triple4 triple3 triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is blue and cold.
Dave associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Eric is big and tends to wear red shirts.
Harry, like all young people, is nice.
A big person who also feels blue and a bit green are usually wearing red.
Kind, young, green persons are sure to be rough persons, too.
If you are big and young then your are also nice.
Blue people round with fat are red from too much time in the sun.
Invariably, any young person whose skin appears rough and green is bound to be quite big.