Alan is so young and darling he is kind to all the old people on the block. Dave can be cold and rough, but also can be nice and kind. Either way, he's big and round. Others enjoy Gary's company because he is so nice and kind. Harry is blue and cold. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Kind and young people are round. Anybody that is big is also someone who is going to be blue. A red, round male or female will also be a nice male or female. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. People that are blue, cold, and big, are rather rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Gary is nice.
True
1
proof
[(triple9)]
("Gary" "is" "nice" "+")
triple9
Dave is not big.
False
1
inv-proof
[(triple8)]
("Dave" "is" "big" "-")
triple8
Dave is blue.
True
2
proof
[(((triple8) -> rule3))]
("Dave" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Alan" "is" "round" "-")
((triple1 triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Dave is green.
True
5
proof
[(((triple7 ((triple8) -> rule3) triple3) -> rule5))]
("Dave" "is" "green" "+")
((triple7 ((triple8) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not green.
False
5
inv-proof
[(((triple7 ((triple8) -> rule3) triple3) -> rule5))]
("Dave" "is" "green" "-")
((triple7 ((triple8) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
True
9
proof
[(((((triple8) -> rule3) triple5 ((triple7 ((triple8) -> rule3) triple3) -> rule5)) -> rule1))]
("Dave" "is" "red" "+")
((((triple8) -> (rule3 % int3)) triple5 ((triple7 ((triple8) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not red.
False
9
inv-proof
[(((((triple8) -> rule3) triple5 ((triple7 ((triple8) -> rule3) triple3) -> rule5)) -> rule1))]
("Dave" "is" "red" "-")
((((triple8) -> (rule3 % int3)) triple5 ((triple7 ((triple8) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is rough.[(triple4 OR ((((triple8) -> rule3) triple7 triple8) -> rule6))] Dave is round.[(triple3)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] @1: Alan is round.[(((triple1 triple2) -> rule2))] Dave is blue.[(((triple8) -> rule3))] @2: Dave is green.[(((triple7 ((triple8) -> rule3) triple3) -> rule5))] @3: Dave is red.[(((((triple8) -> rule3) triple5 ((triple7 ((triple8) -> rule3) triple3) -> rule5)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((((triple8) -> (rule3 % int2)) triple7 triple8) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((triple8) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple8) -> (rule3 % int3)) triple5 ((triple7 ((triple8) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Alan is so young and darling he is kind to all the old people on the block.
Dave can be cold and rough, but also can be nice and kind; Either way, he's big and round.
Others enjoy Gary's company because he is so nice and kind.
Harry is blue and cold.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
Kind and young people are round.
Anybody that is big is also someone who is going to be blue.
A red, round male or female will also be a nice male or female.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
People that are blue, cold, and big, are rather rough.