That big rough Alan guy is both red and blue at the same time. Fred is a kind and red colored guy. Gary fits the description of someone who is rough, red and blue. Even though Harry is green with envy he is nice with rosy red cheeks. A kind person with green and red skin must be big too. When someone is young they can be nice and kind, but green in society. Get out of the way if a red and green person walks up to you because they are rough. If a nice person is round shaped, they feel blue about it. A very nice and kind person will also be round shaped. A nice person with rough skin will be round, you can count on it.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Harry is green.
True
1
proof
[(triple12)]
("Harry" "is" "green" "+")
triple12
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
Harry is rough.
True
3
proof
[(((triple10 triple12) -> rule3))]
("Harry" "is" "rough" "+")
((triple10 triple12) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple10 triple12) -> rule3))]
("Harry" "is" "rough" "-")
((triple10 triple12) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
True
5
proof
[(((((triple10 triple12) -> rule3) triple11) -> rule6))]
("Harry" "is" "round" "+")
((((triple10 triple12) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not round.
False
5
inv-proof
[(((((triple10 triple12) -> rule3) triple11) -> rule6))]
("Harry" "is" "round" "-")
((((triple10 triple12) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
True
7
proof
[(((triple11 ((((triple10 triple12) -> rule3) triple11) -> rule6)) -> rule4))]
("Harry" "is" "blue" "+")
((triple11 ((((triple10 triple12) -> (rule3 % int3)) triple11) -> (rule6 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not blue.
False
7
inv-proof
[(((triple11 ((((triple10 triple12) -> rule3) triple11) -> rule6)) -> rule4))]
("Harry" "is" "blue" "-")
((triple11 ((((triple10 triple12) -> (rule3 % int3)) triple11) -> (rule6 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Gary is blue.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Harry is green.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] @1: Harry is rough.[(((triple10 triple12) -> rule3))] @2: Harry is round.[(((((triple10 triple12) -> rule3) triple11) -> rule6))] @3: Harry is blue.[(((triple11 ((((triple10 triple12) -> rule3) triple11) -> rule6)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 triple12) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple10 triple12) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 ((((triple10 triple12) -> (rule3 % int3)) triple11) -> (rule6 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
That big rough Alan guy is both red and blue at the same time.
Fred is a kind and red colored guy.
Gary fits the description of someone who is rough, red and blue.
Even though Harry is green with envy he is nice with rosy red cheeks.
A kind person with green and red skin must be big too.
When someone is young they can be nice and kind, but green in society.
Get out of the way if a red and green person walks up to you because they are rough.
If a nice person is round shaped, they feel blue about it.
A very nice and kind person will also be round shaped.
A nice person with rough skin will be round, you can count on it.