Even though he's young and green, Alan is rough. Big, round Charlie is cold and very green. In the snow sits Gary, crying from being cold. Harry is big and dresses in blue. A young person with rough red skin is downhearted and blue. People who are green and blue tend to be round in shape. When anyone is young, red and green, you know they'll also be blue. Rough and green people are also nice. You will discover that green rough people are always red. Anyone with red and blue coloration also has green coloration.
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is green.
True
1
proof
[(triple5)]
("Charlie" "is" "green" "+")
triple5
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is red.
True
3
proof
[(((triple3 triple2) -> rule5))]
("Alan" "is" "red" "+")
((triple3 triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("Alan" "is" "red" "-")
((triple3 triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
True
6
proof
[(((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1) OR ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3))]
("Alan" "is" "blue" "+")
((triple2 triple1 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1) OR ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3))]
("Alan" "is" "blue" "-")
((triple2 triple1 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
True
8
proof
[(((triple3 ((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1)) -> rule2) OR ((triple3 ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3)) -> rule2))]
("Alan" "is" "round" "+")
((triple3 ((triple2 triple1 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((triple3 ((((triple3 triple2) -> (rule5 % int3)) triple1 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not round.
False
8
inv-proof
[(((triple3 ((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1)) -> rule2) OR ((triple3 ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3)) -> rule2))]
("Alan" "is" "round" "-")
((triple3 ((triple2 triple1 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((triple3 ((((triple3 triple2) -> (rule5 % int3)) triple1 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@3: Harry is round.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Gary is cold.[(triple8)] Harry is big.[(triple10)] Harry is blue.[(triple9)] @1: Alan is nice.[(((triple2 triple3) -> rule4))] Alan is red.[(((triple3 triple2) -> rule5))] @2: Alan is blue.[(((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1) OR ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3))] @3: Alan is round.[(((triple3 ((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1)) -> rule2) OR ((triple3 ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3)) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple3) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple3 triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 triple1 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple3 ((triple2 triple1 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((triple3 ((((triple3 triple2) -> (rule5 % int3)) triple1 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Even though he's young and green, Alan is rough.
Big, round Charlie is cold and very green.
In the snow sits Gary, crying from being cold.
Harry is big and dresses in blue.
A young person with rough red skin is downhearted and blue.
People who are green and blue tend to be round in shape.
When anyone is young, red and green, you know they'll also be blue.
Rough and green people are also nice.
You will discover that green rough people are always red.
Anyone with red and blue coloration also has green coloration.