Dave became so big that he is now very round. Fortunately the rather green man is still nice. Young Gary is wearing green pants. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. People who are round, blue and cold are usually nice. Cold, rough people are always green. A nice and blue person who's also red will be a rough person. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. Humans who are nice to others while they are young and red will also be green. Blue people round with fat are red from too much time in the sun. It's always true that round, kind people are rough as well.
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("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 round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Dave is nice.
True
1
proof
[(triple2)]
("Dave" "is" "nice" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "-")
triple7
Harry is red.
True
3
proof
[(((triple9 triple7) -> rule6))]
("Harry" "is" "red" "+")
((triple9 triple7) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple9 triple7) -> rule6))]
("Harry" "is" "red" "-")
((triple9 triple7) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
True
6
proof
[(((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4))]
("Harry" "is" "cold" "+")
((triple7 triple9 ((triple9 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4))]
("Harry" "is" "cold" "-")
((triple7 triple9 ((triple9 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
True
9
proof
[(((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1))]
("Harry" "is" "nice" "+")
((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not green.
False
8
inv-proof
[(((((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4) triple8) -> rule2) OR ((((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4) ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1) ((triple9 triple7) -> rule6)) -> rule3)) -> rule2))]
("Harry" "is" "green" "-")
((((triple7 triple9 ((triple9 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple7 triple9 ((triple9 triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9 triple7) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Gary is green.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple9)] Harry is rough.[(triple8 OR ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1) ((triple9 triple7) -> rule6)) -> rule3))] Harry is round.[(triple7)] @1: Harry is red.[(((triple9 triple7) -> rule6))] @2: Harry is cold.[(((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4))] @3: Harry is green.[(((((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4) triple8) -> rule2) OR ((((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4) ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1) ((triple9 triple7) -> rule6)) -> rule3)) -> rule2))] Harry is nice.[(((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 triple7) -> (rule6 % int4))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
((triple9 triple7) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 triple9 ((triple9 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple7 triple9 ((triple9 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple7 triple9 ((triple9 triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9 triple7) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Dave became so big that he is now very round; Fortunately the rather green man is still nice.
Young Gary is wearing green pants.
Harry is blue just like his dog; Harry is rough and round enough for the dog to use him as an exercise wheel.
People who are round, blue and cold are usually nice.
Cold, rough people are always green.
A nice and blue person who's also red will be a rough person.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
Humans who are nice to others while they are young and red will also be green.
Blue people round with fat are red from too much time in the sun.
It's always true that round, kind people are rough as well.