Alan is so young and darling he is kind to all the old people on the block. Charlie is young and round, he is also green. From a certain angle Eric is blue but he is young so maybe that will go away. Fred has rough, green skin and that makes him cold. He also feels blue for his big size. Whoever is rough and red must be kind. All the big and young boys at the park are red. Anyone you find who happens to be kind and blue will also be very nice. Someone who is not only rough and big but also nice will necessarily be round as well. People that are green tend to be young. Blue, red and nice people are always big, too.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Fred is green.
True
1
proof
[(triple9)]
("Fred" "is" "green" "+")
triple9
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Fred is young.
True
2
proof
[(((triple9) -> rule5))]
("Fred" "is" "young" "+")
((triple9) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
2
inv-proof
[(((triple9) -> rule5))]
("Fred" "is" "young" "-")
((triple9) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
True
4
proof
[(((triple12 ((triple9) -> rule5)) -> rule2))]
("Fred" "is" "red" "+")
((triple12 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not red.
False
4
inv-proof
[(((triple12 ((triple9) -> rule5)) -> rule2))]
("Fred" "is" "red" "-")
((triple12 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
True
6
proof
[(((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1))]
("Fred" "is" "kind" "+")
((triple8 ((triple12 ((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not kind.
False
6
inv-proof
[(((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1))]
("Fred" "is" "kind" "-")
((triple8 ((triple12 ((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is nice.
True
8
proof
[(((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3))]
("Fred" "is" "nice" "+")
((((triple8 ((triple12 ((triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not nice.
False
8
inv-proof
[(((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3))]
("Fred" "is" "nice" "-")
((((triple8 ((triple12 ((triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is round.
True
11
proof
[(((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3)) -> rule4))]
("Fred" "is" "round" "+")
((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
Fred is not round.
False
11
inv-proof
[(((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3)) -> rule4))]
("Fred" "is" "round" "-")
((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "big" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Eric" "is" "red" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3 OR ((triple5) -> rule5))] Eric is blue.[(triple7)] Eric is young.[(triple6)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is rough.[(triple8)] @1: Fred is young.[(((triple9) -> rule5))] @2: Fred is red.[(((triple12 ((triple9) -> rule5)) -> rule2))] @3: Fred is kind.[(((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1))] @4: Fred is nice.[(((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3))] @5: Fred is round.[(((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3)) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
((triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
((triple9) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple12 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple8 ((triple12 ((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((((triple8 ((triple12 ((triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
Alan is so young and darling he is kind to all the old people on the block.
Charlie is young and round, he is also green.
From a certain angle Eric is blue but he is young so maybe that will go away.
Fred has rough, green skin and that makes him cold; He also feels blue for his big size.
Whoever is rough and red must be kind.
All the big and young boys at the park are red.
Anyone you find who happens to be kind and blue will also be very nice.
Someone who is not only rough and big but also nice will necessarily be round as well.
People that are green tend to be young.
Blue, red and nice people are always big, too.