Alan is big and tends to wear red shirts. Dave wears all blue. Although Eric is young and nice, he is as cold as ice. Known as big round Fred, he is kind and nice and dresses all green and blue. Kind young people are red. Any human being with green, big, kind eyes, also has round eyes. Everyone who manages to be both rough and round are also kind. Big, red things tend to have a kind spirit to them. A person with the qualities of being cold and being red will also be a person that is green. When you meet kind people they wont have a cold heart. Anybody that is rough, cold and nice will be round at the same time.
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Eric is young.
True
1
proof
[(triple4)]
("Eric" "is" "young" "+")
triple4
Eric is not nice.
False
1
inv-proof
[(triple5)]
("Eric" "is" "nice" "-")
triple5
Alan is kind.
True
3
proof
[(((triple1 triple2) -> rule4))]
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule4))]
("Alan" "is" "kind" "-")
((triple1 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is cold.
True
4
proof
[(((((triple1 triple2) -> rule4)) -> rule6))]
("Alan" "is" "cold" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not cold.
False
4
inv-proof
[(((((triple1 triple2) -> rule4)) -> rule6))]
("Alan" "is" "cold" "-")
((((triple1 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
True
6
proof
[(((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5))]
("Alan" "is" "green" "+")
((((((triple1 triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not green.
False
6
inv-proof
[(((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5))]
("Alan" "is" "green" "-")
((((((triple1 triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
True
11
proof
[(((((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5) triple2 ((triple1 triple2) -> rule4)) -> rule2))]
("Alan" "is" "round" "+")
((((((((triple1 triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2)) triple2 ((triple1 triple2) -> (rule4 % int4))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is not round.
False
11
inv-proof
[(((((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5) triple2 ((triple1 triple2) -> rule4)) -> rule2))]
("Alan" "is" "round" "-")
((((((((triple1 triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2)) triple2 ((triple1 triple2) -> (rule4 % int4))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is green.
Unknown
rconc
[@3: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is red.[(triple1)] Dave is blue.[(triple3)] Eric is cold.[(triple6)] Eric is nice.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is green.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7 OR ((triple10 triple12 triple9) -> rule2))] @1: Alan is kind.[(((triple1 triple2) -> rule4))] Fred is cold.[(((triple9) -> rule6))] @2: Alan is cold.[(((((triple1 triple2) -> rule4)) -> rule6))] @3: Alan is green.[(((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5))] @4: Alan is round.[(((((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5) triple2 ((triple1 triple2) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
((triple10 triple12 triple9) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple9) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((((triple1 triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((((((triple1 triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2)) triple2 ((triple1 triple2) -> (rule4 % int4))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is big and tends to wear red shirts.
Dave wears all blue.
Although Eric is young and nice, he is as cold as ice.
Known as big round Fred, he is kind and nice and dresses all green and blue.
Kind young people are red.
Any human being with green, big, kind eyes, also has round eyes.
Everyone who manages to be both rough and round are also kind.
Big, red things tend to have a kind spirit to them.
A person with the qualities of being cold and being red will also be a person that is green.
When you meet kind people they wont have a cold heart.
Anybody that is rough, cold and nice will be round at the same time.