Alan has a round face and is very nice. Eric is young and green, so although he is rough and blue with sadness, he'll grow out of it. Fred is big and dresses in blue. Though he is young, Gary is still nice despite being quite blue. If someone is blue and rough, they always see red in others. Pick someone blue, kind and big, and they are certain to be green as well. Being cold and blue made them rough to deal with. Round and somewhat big people manage to be kind to everyone. A nice and young aged person will definitely be green in color. Kind people,though green,are cold. If someone is red and green and feeels rough, they are kind.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Fred is not big.
False
1
inv-proof
[(triple8)]
("Fred" "is" "big" "-")
triple8
Gary is green.
True
3
proof
[(((triple10 triple9) -> rule5))]
("Gary" "is" "green" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("Eric" "is" "red" "-")
((triple6 triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
True
6
proof
[(((triple4 triple5 ((triple6 triple4) -> rule1)) -> rule7))]
("Eric" "is" "kind" "+")
((triple4 triple5 ((triple6 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((triple4 triple5 ((triple6 triple4) -> rule1)) -> rule7))]
("Eric" "is" "kind" "-")
((triple4 triple5 ((triple6 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
True
8
proof
[(((((triple4 triple5 ((triple6 triple4) -> rule1)) -> rule7) triple5) -> rule6))]
("Eric" "is" "cold" "+")
((((triple4 triple5 ((triple6 triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not cold.
False
8
inv-proof
[(((((triple4 triple5 ((triple6 triple4) -> rule1)) -> rule7) triple5) -> rule6))]
("Eric" "is" "cold" "-")
((((triple4 triple5 ((triple6 triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@3: Fred is kind.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is red.
Unknown
rconc
[@4: Fred is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule6 <- rule4 <- FAIL)]]
("Fred" "is" "red" "+")
Gary is not kind.
Unknown
inv-rconc
[@4: Gary is kind.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule6 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is rough.
Unknown
rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Eric is red.[(((triple6 triple4) -> rule1))] Gary is green.[(((triple10 triple9) -> rule5))] @2: Eric is kind.[(((triple4 triple5 ((triple6 triple4) -> rule1)) -> rule7))] @3: Eric is cold.[(((((triple4 triple5 ((triple6 triple4) -> rule1)) -> rule7) triple5) -> rule6))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
((triple6 triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple4 triple5 ((triple6 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple4 triple5 ((triple6 triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan has a round face and is very nice.
Eric is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Fred is big and dresses in blue.
Though he is young, Gary is still nice despite being quite blue.
If someone is blue and rough, they always see red in others.
Pick someone blue, kind and big, and they are certain to be green as well.
Being cold and blue made them rough to deal with.
Round and somewhat big people manage to be kind to everyone.
A nice and young aged person will definitely be green in color.
Kind people,though green,are cold.
If someone is red and green and feeels rough, they are kind.