Dave is rough and red, but he is still young; he is still blue with youth. Fred is a young and nice man, and he is also very big shaped. That Gary is as round and red as a cherry, and twice as kind. They always call him rough Harry. We called someone with green, round eyes, blue for some reason. A big round person is nice. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. Like a blueberry, a big blue person is round as anything. Being big and kind like a gentle giant can make anyone blue. There are so many rough, young people and for some reason they are all big too. Anybody that is rough, cold and nice will be round at the same time.
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Dave is big.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Dave" "is" "big" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Dave" "is" "big" "-")
((triple1 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
True
5
proof
[(((triple4 ((triple1 triple2) -> rule6)) -> rule4))]
("Dave" "is" "round" "+")
((triple4 ((triple1 triple2) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple7 ((triple5 triple7 triple6) -> rule3)) -> rule5))]
("Fred" "is" "blue" "-")
((triple7 ((triple5 triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
True
8
proof
[(((((triple7 ((triple5 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))]
("Fred" "is" "round" "+")
((((triple7 ((triple5 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not round.
False
8
inv-proof
[(((((triple7 ((triple5 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))]
("Fred" "is" "round" "-")
((((triple7 ((triple5 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Dave is kind.
True
14
proof
[(((triple1 ((triple1 triple2) -> rule6) ((((triple4 ((triple1 triple2) -> rule6)) -> rule4) ((triple1 triple2) -> rule6)) -> rule2)) -> rule3))]
("Dave" "is" "kind" "+")
((triple1 ((triple1 triple2) -> (rule6 % int4)) ((((triple4 ((triple1 triple2) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1 triple2) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not kind.
False
14
inv-proof
[(((triple1 ((triple1 triple2) -> rule6) ((((triple4 ((triple1 triple2) -> rule6)) -> rule4) ((triple1 triple2) -> rule6)) -> rule2)) -> rule3))]
("Dave" "is" "kind" "-")
((triple1 ((triple1 triple2) -> (rule6 % int4)) ((((triple4 ((triple1 triple2) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1 triple2) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Harry" "is" "nice" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is blue.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Dave is young.[(triple1)] Fred is big.[(triple7)] Fred is nice.[(triple6)] Fred is young.[(triple5)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] Harry is rough.[(triple11)] @1: Dave is big.[(((triple1 triple2) -> rule6))] Fred is kind.[(((triple5 triple7 triple6) -> rule3))] @2: Dave is round.[(((triple4 ((triple1 triple2) -> rule6)) -> rule4))] Fred is blue.[(((triple7 ((triple5 triple7 triple6) -> rule3)) -> rule5))] @3: Dave is nice.[(((((triple4 ((triple1 triple2) -> rule6)) -> rule4) ((triple1 triple2) -> rule6)) -> rule2))] Fred is round.[(((((triple7 ((triple5 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))] @4: Dave is kind.[(((triple1 ((triple1 triple2) -> rule6) ((((triple4 ((triple1 triple2) -> rule6)) -> rule4) ((triple1 triple2) -> rule6)) -> rule2)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Dave is big.
("Dave" "is" "big" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple5 triple7 triple6) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4 ((triple1 triple2) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 ((triple5 triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple4 ((triple1 triple2) -> (rule6 % int3))) -> (rule4 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple7 ((triple5 triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((triple1 ((triple1 triple2) -> (rule6 % int4)) ((((triple4 ((triple1 triple2) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1 triple2) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough and red, but he is still young; he is still blue with youth.
Fred is a young and nice man, and he is also very big shaped.
That Gary is as round and red as a cherry, and twice as kind.
They always call him rough Harry.
We called someone with green, round eyes, blue for some reason.
A big round person is nice.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
Like a blueberry, a big blue person is round as anything.
Being big and kind like a gentle giant can make anyone blue.
There are so many rough, young people and for some reason they are all big too.
Anybody that is rough, cold and nice will be round at the same time.