Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred is a red fellow who habitually looks blue. He's often cold. Harry is so young and darling he is kind to all the old people on the block. A young and cold person is red. A quite nice person who is red and green is also big. Generally, round and kind people are big. Red people who are green and blue are always kind. Anyone who's blue is also green. It's true that green and blue people are also red people.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Harry is kind.
True
1
proof
[(triple8)]
("Harry" "is" "kind" "+")
triple8
Alan is not green.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule5))]
("Alan" "is" "green" "-")
triple2
((triple3) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Fred is green.
True
2
proof
[(((triple6) -> rule5))]
("Fred" "is" "green" "+")
((triple6) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
2
inv-proof
[(((triple6) -> rule5))]
("Fred" "is" "green" "-")
((triple6) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is kind.
True
6
proof
[(((((triple2 triple3) -> rule6) triple3 triple2) -> rule4) OR ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4))]
("Alan" "is" "kind" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) triple3 ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple3 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple3 ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not kind.
False
6
inv-proof
[(((((triple2 triple3) -> rule6) triple3 triple2) -> rule4) OR ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4))]
("Alan" "is" "kind" "-")
((((triple2 triple3) -> (rule6 % int2)) triple3 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) triple3 ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple3 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple3 ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is big.
True
8
proof
[(((triple1 ((((triple2 triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3))]
("Alan" "is" "big" "+")
((triple1 ((((triple2 triple3) -> (rule6 % int3)) triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((triple1 ((((triple2 triple3) -> (rule6 % int4)) triple3 ((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((triple1 ((((((triple3) -> (rule5 % int4)) triple3) -> (rule6 % int3)) triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((triple1 ((((((triple3) -> (rule5 % int4)) triple3) -> (rule6 % int3)) triple3 ((triple3) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is not big.
False
8
inv-proof
[(((triple1 ((((triple2 triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3))]
("Alan" "is" "big" "-")
((triple1 ((((triple2 triple3) -> (rule6 % int3)) triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((triple1 ((((triple2 triple3) -> (rule6 % int4)) triple3 ((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((triple1 ((((((triple3) -> (rule5 % int4)) triple3) -> (rule6 % int3)) triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((triple1 ((((((triple3) -> (rule5 % int4)) triple3) -> (rule6 % int3)) triple3 ((triple3) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2 OR ((triple3) -> rule5))] Alan is round.[(triple1)] Fred is blue.[(triple6)] Fred is cold.[(triple5)] Fred is red.[(triple4 OR ((((triple6) -> rule5) triple6) -> rule6))] Harry is kind.[(triple8)] Harry is young.[(triple7)] @1: Alan is red.[(((triple2 triple3) -> rule6) OR ((((triple3) -> rule5) triple3) -> rule6))] Fred is green.[(((triple6) -> rule5))] @2: Alan is kind.[(((((triple2 triple3) -> rule6) triple3 triple2) -> rule4) OR ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4))] Fred is kind.[(((triple4 triple6 ((triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule5) triple6) -> rule6) triple6 ((triple6) -> rule5)) -> rule4))] @3: Alan is big.[(((triple1 ((((triple2 triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
((triple3) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
((((triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Alan is red.
("Alan" "is" "red" "+")
((triple2 triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
((((triple3) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple6) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) triple3 ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple3 triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple3 ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((triple4 triple6 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
((((((triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple6 ((triple6) -> (rule5 % int3))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((((triple2 triple3) -> (rule6 % int3)) triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((triple1 ((((triple2 triple3) -> (rule6 % int4)) triple3 ((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((triple1 ((((((triple3) -> (rule5 % int4)) triple3) -> (rule6 % int3)) triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((triple1 ((((((triple3) -> (rule5 % int4)) triple3) -> (rule6 % int3)) triple3 ((triple3) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Fred is a red fellow who habitually looks blue; He's often cold.
Harry is so young and darling he is kind to all the old people on the block.
A young and cold person is red.
A quite nice person who is red and green is also big.
Generally, round and kind people are big.
Red people who are green and blue are always kind.
Anyone who's blue is also green.
It's true that green and blue people are also red people.