In the snow sits Alan, crying from being cold. Charlie is a person both green and big. Eric is very young to be a nurse but he loves helping others because he is so nice and kind. Gary is young, but very kind to others. Gary is big, with round features. If a kind person is also young and round shaped, they will be colored blue. Someone with round, red, and kind traits also will be green. A person that is feeling blue and slightly big, is red as well. Being green and rough are signs that someone is big. Kind people,though green,are cold.
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple8)]
("Gary" "is" "round" "+")
triple8
Gary is not big.
False
1
inv-proof
[(triple10)]
("Gary" "is" "big" "-")
triple10
Gary is blue.
True
4
proof
[(((triple9 triple7 triple8) -> rule1))]
("Gary" "is" "blue" "+")
((triple9 triple7 triple8) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
4
inv-proof
[(((triple9 triple7 triple8) -> rule1))]
("Gary" "is" "blue" "-")
((triple9 triple7 triple8) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
True
6
proof
[(((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3))]
("Gary" "is" "red" "+")
((triple10 ((triple9 triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not red.
False
6
inv-proof
[(((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3))]
("Gary" "is" "red" "-")
((triple10 ((triple9 triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
True
9
proof
[(((triple8 ((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3) triple9) -> rule2))]
("Gary" "is" "green" "+")
((triple8 ((triple10 ((triple9 triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not green.
False
9
inv-proof
[(((triple8 ((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3) triple9) -> rule2))]
("Gary" "is" "green" "-")
((triple8 ((triple10 ((triple9 triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
True
11
proof
[(((triple9 ((triple8 ((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3) triple9) -> rule2)) -> rule5))]
("Gary" "is" "cold" "+")
((triple9 ((triple8 ((triple10 ((triple9 triple7 triple8) -> (rule1 % int4))) -> (rule3 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not cold.
False
11
inv-proof
[(((triple9 ((triple8 ((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3) triple9) -> rule2)) -> rule5))]
("Gary" "is" "cold" "-")
((triple9 ((triple8 ((triple10 ((triple9 triple7 triple8) -> (rule1 % int4))) -> (rule3 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Alan is cold.[(triple1)] Charlie is big.[(triple3)] Charlie is green.[(triple2)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is blue.[(((triple9 triple7 triple8) -> rule1))] @2: Gary is red.[(((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3))] @3: Gary is green.[(((triple8 ((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3) triple9) -> rule2))] @4: Gary is cold.[(((triple9 ((triple8 ((triple10 ((triple9 triple7 triple8) -> rule1)) -> rule3) triple9) -> rule2)) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 triple7 triple8) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple10 ((triple9 triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple8 ((triple10 ((triple9 triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 ((triple8 ((triple10 ((triple9 triple7 triple8) -> (rule1 % int4))) -> (rule3 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
In the snow sits Alan, crying from being cold.
Charlie is a person both green and big.
Eric is very young to be a nurse but he loves helping others because he is so nice and kind.
Gary is young, but very kind to others; Gary is big, with round features.
If a kind person is also young and round shaped, they will be colored blue.
Someone with round, red, and kind traits also will be green.
A person that is feeling blue and slightly big, is red as well.
Being green and rough are signs that someone is big.
Kind people,though green,are cold.