Alan is big and tends to wear red shirts. Eric was quite young and green. He was also cold and big. Even though Gary is big and round, he is cold much of the time. In the snow sits Harry, crying from being cold. If the person is big and cold then as a rule they must be green. A depressed person feeling blue who is kind cannot escape from being green. If you are green you are also kind. When anyone is young, red and green, you know they'll also be blue. A young, nice person will turn out to be a green person also. Kind people,though green,tend to be nice. A blue individual that is kind and nice to others also has a rough appearance.
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("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 young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Eric is young.
True
1
proof
[(triple3)]
("Eric" "is" "young" "+")
triple3
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Eric is kind.
True
2
proof
[(((triple4) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule3))]
("Eric" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple6 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Gary is not green.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Gary" "is" "green" "-")
((triple9 triple8) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
True
4
proof
[(((((triple9 triple8) -> rule1)) -> rule3))]
("Gary" "is" "kind" "+")
((((triple9 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Eric is not nice.
False
4
inv-proof
[(((((triple4) -> rule3) triple4) -> rule6) OR ((((triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1)) -> rule3) triple4) -> rule6) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule6))]
("Eric" "is" "nice" "-")
((((triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple6 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Gary is nice.
True
8
proof
[(((((((triple9 triple8) -> rule1)) -> rule3) ((triple9 triple8) -> rule1)) -> rule6))]
("Gary" "is" "nice" "+")
((((((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not nice.
False
8
inv-proof
[(((((((triple9 triple8) -> rule1)) -> rule3) ((triple9 triple8) -> rule1)) -> rule6))]
("Gary" "is" "nice" "-")
((((((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Alan" "is" "rough" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@3: Harry is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is red.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is green.[(triple4 OR ((triple6 triple5) -> rule1))] Eric is young.[(triple3)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is round.[(triple7)] Harry is cold.[(triple10)] @1: Eric is kind.[(((triple4) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule3))] Gary is green.[(((triple9 triple8) -> rule1))] @2: Eric is nice.[(((((triple4) -> rule3) triple4) -> rule6) OR ((((triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1)) -> rule3) triple4) -> rule6) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule6))] Gary is kind.[(((((triple9 triple8) -> rule1)) -> rule3))] @3: Gary is nice.[(((((((triple9 triple8) -> rule1)) -> rule3) ((triple9 triple8) -> rule1)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
((triple6 triple5) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple6 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple9 triple8) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple6 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple9 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan is big and tends to wear red shirts.
Eric was quite young and green; He was also cold and big.
Even though Gary is big and round, he is cold much of the time.
In the snow sits Harry, crying from being cold.
If the person is big and cold then as a rule they must be green.
A depressed person feeling blue who is kind cannot escape from being green.
If you are green you are also kind.
When anyone is young, red and green, you know they'll also be blue.
A young, nice person will turn out to be a green person also.
Kind people,though green,tend to be nice.
A blue individual that is kind and nice to others also has a rough appearance.