Alan has rough, green skin and that makes him cold. He also feels blue for his big size. The big, round, blue guy is Dave. He's kind but rather rough. They always call him rough Fred. Red Gary is what folks call him, because he is quite red. A person who is nice and green with envy is round. Find a big human that is colored red and green and he will be amazingly kind. A big rough person are also young of age. People who have a big shape while they are young are found to be nice. Blue, red, young people are always going to be kind people, too.
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Dave is rough.
True
1
proof
[(triple7)]
("Dave" "is" "rough" "+")
triple7
Dave is not big.
False
1
inv-proof
[(triple10)]
("Dave" "is" "big" "-")
triple10
Dave is young.
True
3
proof
[(((triple10 triple7) -> rule3))]
("Dave" "is" "young" "+")
((triple10 triple7) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple5 triple1) -> rule3))]
("Alan" "is" "young" "-")
((triple5 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
True
5
proof
[(((((triple5 triple1) -> rule3) triple5) -> rule4))]
("Alan" "is" "nice" "+")
((((triple5 triple1) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple10 triple7) -> rule3) triple10) -> rule4))]
("Dave" "is" "nice" "-")
((((triple10 triple7) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Alan is round.
True
7
proof
[(((((((triple5 triple1) -> rule3) triple5) -> rule4) triple2) -> rule1))]
("Alan" "is" "round" "+")
((((((triple5 triple1) -> (rule3 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not round.
False
7
inv-proof
[(((((((triple5 triple1) -> rule3) triple5) -> rule4) triple2) -> rule1))]
("Alan" "is" "round" "-")
((((((triple5 triple1) -> (rule3 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple10)] Dave is blue.[(triple9)] Dave is kind.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Fred is rough.[(triple11)] Gary is red.[(triple12)] @1: Alan is young.[(((triple5 triple1) -> rule3))] Dave is young.[(((triple10 triple7) -> rule3))] @2: Alan is nice.[(((((triple5 triple1) -> rule3) triple5) -> rule4))] Dave is nice.[(((((triple10 triple7) -> rule3) triple10) -> rule4))] @3: Alan is round.[(((((((triple5 triple1) -> rule3) triple5) -> rule4) triple2) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Alan is young.
("Alan" "is" "young" "+")
((triple5 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple10 triple7) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple5 triple1) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple10 triple7) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((((triple5 triple1) -> (rule3 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan has rough, green skin and that makes him cold; He also feels blue for his big size.
The big, round, blue guy is Dave; He's kind but rather rough.
They always call him rough Fred.
Red Gary is what folks call him, because he is quite red.
A person who is nice and green with envy is round.
Find a big human that is colored red and green and he will be amazingly kind.
A big rough person are also young of age.
People who have a big shape while they are young are found to be nice.
Blue, red, young people are always going to be kind people, too.