Dave associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Eric is nice and kind, but a little rough. Young Gary is wearing green pants. From a certain angle Harry is blue but he is young so maybe that will go away. All people that are rough and cold, as well as nice will be kind if you talk to them. It seems to be that a person who is green, red, and blue will be very big. It's a fact that young people are red people. A kind person who is big in size is definitely young. Blue people who are rough are often young. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
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 rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Dave is young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Eric is not nice.
False
1
inv-proof
[(triple6)]
("Eric" "is" "nice" "-")
triple6
Dave is red.
True
2
proof
[(((triple1) -> rule3))]
("Dave" "is" "red" "+")
((triple1) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("Dave" "is" "red" "-")
((triple1) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
True
5
proof
[(((((triple1) -> rule3) triple4 triple3) -> rule2))]
("Dave" "is" "big" "+")
((((triple1) -> (rule3 % int2)) triple4 triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not big.
False
5
inv-proof
[(((((triple1) -> rule3) triple4 triple3) -> rule2))]
("Dave" "is" "big" "-")
((((triple1) -> (rule3 % int2)) triple4 triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
True
8
proof
[(((triple1 ((((triple1) -> rule3) triple4 triple3) -> rule2) triple4) -> rule6))]
("Dave" "is" "rough" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple4 triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not rough.
False
8
inv-proof
[(((triple1 ((((triple1) -> rule3) triple4 triple3) -> rule2) triple4) -> rule6))]
("Dave" "is" "rough" "-")
((triple1 ((((triple1) -> (rule3 % int3)) triple4 triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@3: Eric is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule2 <- FAIL)]]
("Eric" "is" "red" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is young.[(triple1)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5)] Gary is green.[(triple9)] Gary is young.[(triple8)] Harry is blue.[(triple11)] Harry is young.[(triple10)] @1: Dave is red.[(((triple1) -> rule3))] Gary is red.[(((triple8) -> rule3))] Harry is red.[(((triple10) -> rule3))] @2: Dave is big.[(((((triple1) -> rule3) triple4 triple3) -> rule2))] @3: Dave is rough.[(((triple1 ((((triple1) -> rule3) triple4 triple3) -> rule2) triple4) -> rule6))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple1) -> (rule3 % int2)) triple4 triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple4 triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Eric is nice and kind, but a little rough.
Young Gary is wearing green pants.
From a certain angle Harry is blue but he is young so maybe that will go away.
All people that are rough and cold, as well as nice will be kind if you talk to them.
It seems to be that a person who is green, red, and blue will be very big.
It's a fact that young people are red people.
A kind person who is big in size is definitely young.
Blue people who are rough are often young.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.