Alan is a big young boy with a bit of a rough streak. Most of the times he is nice, especially when his skin is green and blue. Charlie always goes out of his way to show that he is kind to people. Fred can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Big, young people feel cold all the time. A person who is described as young and cold, but also described as rough is nice. Look for the blue and green people, they are kind and will give you directions if you're lost. Any person who is blue and round, if they are kind at the same time, will be young. A person fitting the description of rough, cold and red will also be a nice person. Like a blueberry, a big blue person is round as anything. Rough people who are nice and have green thumbs are almost always young.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Alan is green.
True
1
proof
[(triple4)]
("Alan" "is" "green" "+")
triple4
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Alan is cold.
True
3
proof
[(((triple1 triple6) -> rule1) OR ((((triple3 triple4 triple2) -> rule7) triple6) -> rule1) OR ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) triple6) -> rule1))]
("Alan" "is" "cold" "+")
((triple1 triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple3 triple4 triple2) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple5 ((triple5 triple6) -> (rule6 % int4)) ((triple5 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not cold.
False
3
inv-proof
[(((triple1 triple6) -> rule1) OR ((((triple3 triple4 triple2) -> rule7) triple6) -> rule1) OR ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) triple6) -> rule1))]
("Alan" "is" "cold" "-")
((triple1 triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple3 triple4 triple2) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple5 ((triple5 triple6) -> (rule6 % int4)) ((triple5 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Fred is young.
True
8
proof
[(((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4))]
("Fred" "is" "young" "+")
((triple10 ((triple10 triple11) -> (rule6 % int3)) ((triple10 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not young.
False
8
inv-proof
[(((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4))]
("Fred" "is" "young" "-")
((triple10 ((triple10 triple11) -> (rule6 % int3)) ((triple10 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is cold.
True
10
proof
[(((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) triple11) -> rule1))]
("Fred" "is" "cold" "+")
((((triple10 ((triple10 triple11) -> (rule6 % int4)) ((triple10 triple9) -> (rule3 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is not cold.
False
10
inv-proof
[(((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) triple11) -> rule1))]
("Fred" "is" "cold" "-")
((((triple10 ((triple10 triple11) -> (rule6 % int4)) ((triple10 triple9) -> (rule3 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is nice.
True
20
proof
[(((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) ((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) triple11) -> rule1) triple8) -> rule2))]
("Fred" "is" "nice" "+")
((((triple10 ((triple10 triple11) -> (rule6 % int5)) ((triple10 triple9) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple10 ((triple10 triple11) -> (rule6 % int5)) ((triple10 triple9) -> (rule3 % int4))) -> (rule4 % int3)) triple11) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
int5
Fred is not nice.
False
20
inv-proof
[(((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) ((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) triple11) -> rule1) triple8) -> rule2))]
("Fred" "is" "nice" "-")
((((triple10 ((triple10 triple11) -> (rule6 % int5)) ((triple10 triple9) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple10 ((triple10 triple11) -> (rule6 % int5)) ((triple10 triple9) -> (rule3 % int4))) -> (rule4 % int3)) triple11) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
int5
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple6)] Alan is blue.[(triple5)] Alan is green.[(triple4)] Alan is nice.[(triple3 OR ((triple1 ((triple1 triple6) -> rule1) triple2) -> rule2) OR ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) ((triple1 triple6) -> rule1) triple2) -> rule2) OR ((triple1 ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) triple6) -> rule1) triple2) -> rule2) OR ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) triple6) -> rule1) triple2) -> rule2))] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple3 triple4 triple2) -> rule7) OR ((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4))] Charlie is kind.[(triple7)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is green.[(triple9)] Fred is rough.[(triple8)] @1: Alan is cold.[(((triple1 triple6) -> rule1) OR ((((triple3 triple4 triple2) -> rule7) triple6) -> rule1) OR ((((triple5 ((triple5 triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule4) triple6) -> rule1))] Alan is kind.[(((triple5 triple4) -> rule3))] Alan is round.[(((triple5 triple6) -> rule6))] Fred is kind.[(((triple10 triple9) -> rule3))] Fred is round.[(((triple10 triple11) -> rule6))] @2: Fred is young.[(((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4))] @3: Fred is cold.[(((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) triple11) -> rule1))] @4: Fred is nice.[(((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) ((((triple10 ((triple10 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule4) triple11) -> rule1) triple8) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
((triple1 ((triple1 triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple5 ((triple5 triple6) -> (rule6 % int5)) ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) ((triple1 triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
((triple1 ((((triple5 ((triple5 triple6) -> (rule6 % int5)) ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
((((triple5 ((triple5 triple6) -> (rule6 % int5)) ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple5 ((triple5 triple6) -> (rule6 % int5)) ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple3 triple4 triple2) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((triple5 ((triple5 triple6) -> (rule6 % int3)) ((triple5 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple3 triple4 triple2) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple5 ((triple5 triple6) -> (rule6 % int4)) ((triple5 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
((triple5 triple4) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple5 triple6) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple10 triple9) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple10 triple11) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple10 ((triple10 triple11) -> (rule6 % int3)) ((triple10 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((triple10 ((triple10 triple11) -> (rule6 % int4)) ((triple10 triple9) -> (rule3 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
((((triple10 ((triple10 triple11) -> (rule6 % int5)) ((triple10 triple9) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple10 ((triple10 triple11) -> (rule6 % int5)) ((triple10 triple9) -> (rule3 % int4))) -> (rule4 % int3)) triple11) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
int5
Alan is a big young boy with a bit of a rough streak; Most of the times he is nice, especially when his skin is green and blue.
Charlie always goes out of his way to show that he is kind to people.
Fred can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
Big, young people feel cold all the time.
A person who is described as young and cold, but also described as rough is nice.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Any person who is blue and round, if they are kind at the same time, will be young.
A person fitting the description of rough, cold and red will also be a nice person.
Like a blueberry, a big blue person is round as anything.
Rough people who are nice and have green thumbs are almost always young.