Big Alan is a kind man and often wears blue and green shirts. Charlie is blue from ink he spilled on himself while being kind and helping some children paint. Gary vowed to always be rough, cold, blue, and big as possible. In the snow sits Harry, crying from being cold. Kind and young people are round. Big and round people who arent cold, tend to be very kind. It is true that anyone who is cold while being young and nice is secretly a kind person. When anyone is young, red and green, you know they'll also be blue. All the kind people in blue were young. You can see that cold, blue people are round in shape.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
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 blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Charlie is kind.
True
1
proof
[(triple5)]
("Charlie" "is" "kind" "+")
triple5
Charlie is not blue.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "blue" "-")
triple6
Charlie is young.
True
3
proof
[(((triple6 triple5) -> rule5))]
("Charlie" "is" "young" "+")
((triple6 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple3 triple1) -> rule5))]
("Alan" "is" "young" "-")
((triple3 triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
True
5
proof
[(((((triple3 triple1) -> rule5) triple1) -> rule1))]
("Alan" "is" "round" "+")
((((triple3 triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Gary is not kind.
False
6
inv-proof
[(((triple8 triple10 ((triple8 triple9) -> rule6)) -> rule2))]
("Gary" "is" "kind" "-")
((triple8 triple10 ((triple8 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
True
8
proof
[(((triple9 ((triple8 triple10 ((triple8 triple9) -> rule6)) -> rule2)) -> rule5))]
("Gary" "is" "young" "+")
((triple9 ((triple8 triple10 ((triple8 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
False
8
inv-proof
[(((triple9 ((triple8 triple10 ((triple8 triple9) -> rule6)) -> rule2)) -> rule5))]
("Gary" "is" "young" "-")
((triple9 ((triple8 triple10 ((triple8 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Gary is rough.[(triple7)] Harry is cold.[(triple11)] @1: Alan is young.[(((triple3 triple1) -> rule5))] Charlie is young.[(((triple6 triple5) -> rule5))] Gary is round.[(((triple8 triple9) -> rule6))] @2: Alan is round.[(((((triple3 triple1) -> rule5) triple1) -> rule1))] Charlie is round.[(((((triple6 triple5) -> rule5) triple5) -> rule1))] Gary is kind.[(((triple8 triple10 ((triple8 triple9) -> rule6)) -> rule2))] @3: Gary is young.[(((triple9 ((triple8 triple10 ((triple8 triple9) -> rule6)) -> rule2)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple8 triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple3 triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple6 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple10 ((triple8 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple9 ((triple8 triple10 ((triple8 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Big Alan is a kind man and often wears blue and green shirts.
Charlie is blue from ink he spilled on himself while being kind and helping some children paint.
Gary vowed to always be rough, cold, blue, and big as possible.
In the snow sits Harry, crying from being cold.
Kind and young people are round.
Big and round people who arent cold, tend to be very kind.
It is true that anyone who is cold while being young and nice is secretly a kind person.
When anyone is young, red and green, you know they'll also be blue.
All the kind people in blue were young.
You can see that cold, blue people are round in shape.