Charlie is a nice person, but he is both blue and red. Dave looks to be red, green, and blue, he is also round and rough. They always call him rough Harry. Everyone that is rough but also kind will be green. A nice and blue person who's also red will be a rough person. Most green and round people,though big are quite young. Nice people that are colored red and green are always round. Rough, blue people tend to have a lot of green aspects. Some kind person that is round a blue will get embarrassed and turn red. A big, blue and cold person will also be a round person.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Charlie is blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "+")
triple3
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Charlie is rough.
True
4
proof
[(((triple3 triple2 triple1) -> rule2))]
("Charlie" "is" "rough" "+")
((triple3 triple2 triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple3 triple2 triple1) -> rule2))]
("Charlie" "is" "rough" "-")
((triple3 triple2 triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
True
6
proof
[(((((triple3 triple2 triple1) -> rule2) triple3) -> rule5))]
("Charlie" "is" "green" "+")
((((triple3 triple2 triple1) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((((triple3 triple2 triple1) -> rule2) triple3) -> rule5))]
("Charlie" "is" "green" "-")
((((triple3 triple2 triple1) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
True
9
proof
[(((((((triple3 triple2 triple1) -> rule2) triple3) -> rule5) triple1 triple2) -> rule4))]
("Charlie" "is" "round" "+")
((((((triple3 triple2 triple1) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple1 triple2) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not round.
False
9
inv-proof
[(((((((triple3 triple2 triple1) -> rule2) triple3) -> rule5) triple1 triple2) -> rule4))]
("Charlie" "is" "round" "-")
((((((triple3 triple2 triple1) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple1 triple2) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is blue.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is blue.[(triple8)] Dave is green.[(triple7 OR ((triple5 triple8) -> rule5))] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Harry is rough.[(triple9)] @1: Charlie is rough.[(((triple3 triple2 triple1) -> rule2))] @2: Charlie is green.[(((((triple3 triple2 triple1) -> rule2) triple3) -> rule5))] @3: Charlie is round.[(((((((triple3 triple2 triple1) -> rule2) triple3) -> rule5) triple1 triple2) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple5 triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple2 triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3 triple2 triple1) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple3 triple2 triple1) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple1 triple2) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is a nice person, but he is both blue and red.
Dave looks to be red, green, and blue, he is also round and rough.
They always call him rough Harry.
Everyone that is rough but also kind will be green.
A nice and blue person who's also red will be a rough person.
Most green and round people,though big are quite young.
Nice people that are colored red and green are always round.
Rough, blue people tend to have a lot of green aspects.
Some kind person that is round a blue will get embarrassed and turn red.
A big, blue and cold person will also be a round person.