In the snow sits Alan, crying from being cold. Charlie is big and rough looking but is very nice and kind. Upon meeting Fred, you'll notice he's green and kind. Harry wears all blue. A rough textured and cold person is definitely young. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. You will discover that green rough people are always red. A very nice and kind person will also be round shaped. Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Charlie is round.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule4))]
("Charlie" "is" "round" "-")
((triple3 triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
True
6
proof
[(((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5))]
("Charlie" "is" "green" "+")
((triple4 triple3 ((triple3 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5))]
("Charlie" "is" "green" "-")
((triple4 triple3 ((triple3 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
True
8
proof
[(((((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5) triple2) -> rule3) OR ((((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5) ((triple3 triple4) -> rule4) triple4) -> rule2))]
("Charlie" "is" "red" "+")
((((triple4 triple3 ((triple3 triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple4 triple3 ((triple3 triple4) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
8
inv-proof
[(((((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5) triple2) -> rule3) OR ((((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5) ((triple3 triple4) -> rule4) triple4) -> rule2))]
("Charlie" "is" "red" "-")
((((triple4 triple3 ((triple3 triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple4 triple3 ((triple3 triple4) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is cold.[(triple1)] Charlie is big.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Harry is blue.[(triple8)] @1: Charlie is round.[(((triple3 triple4) -> rule4))] @2: Charlie is green.[(((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5))] @3: Charlie is red.[(((((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5) triple2) -> rule3) OR ((((triple4 triple3 ((triple3 triple4) -> rule4)) -> rule5) ((triple3 triple4) -> rule4) triple4) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 triple3 ((triple3 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple3 ((triple3 triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple4 triple3 ((triple3 triple4) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
In the snow sits Alan, crying from being cold.
Charlie is big and rough looking but is very nice and kind.
Upon meeting Fred, you'll notice he's green and kind.
Harry wears all blue.
A rough textured and cold person is definitely young.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
You will discover that green rough people are always red.
A very nice and kind person will also be round shaped.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.