Red Alan is what folks call him, because he is quite red. Charlie ate some rotten meat and now feels green. In the snow sits Dave, crying from being cold. Harry is very young red and kind, however he's green, nice and cold as well. Young round blue people are also big people. A kind, cold, round person will be nice in addition. Despite being too big with bright green skin and freezing cold, these people have always been kind. You can count on someone who is red and green being young. People who are red, young, and round are also blue. A person that is feeling blue and slightly big, is red as well. Green people who are kind with rosy red skin are round.
Alan is red.
("Alan" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Harry is not green.
False
1
inv-proof
[(triple8)]
("Harry" "is" "green" "-")
triple8
Harry is round.
True
4
proof
[(((triple5 triple7 triple8) -> rule7))]
("Harry" "is" "round" "+")
((triple5 triple7 triple8) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
4
inv-proof
[(((triple5 triple7 triple8) -> rule7))]
("Harry" "is" "round" "-")
((triple5 triple7 triple8) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
True
7
proof
[(((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) OR ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5))]
("Harry" "is" "blue" "+")
((((triple5 triple7 triple8) -> (rule7 % int2)) triple5 triple4) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple5 triple7 triple8) -> (rule7 % int3)) triple5 ((triple5 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not blue.
False
7
inv-proof
[(((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) OR ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5))]
("Harry" "is" "blue" "-")
((((triple5 triple7 triple8) -> (rule7 % int2)) triple5 triple4) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple5 triple7 triple8) -> (rule7 % int3)) triple5 ((triple5 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
True
13
proof
[(((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) ((triple5 triple8) -> rule4)) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) ((triple5 triple8) -> rule4)) -> rule1))]
("Harry" "is" "big" "+")
((((triple5 triple7 triple8) -> (rule7 % int3)) ((((triple5 triple7 triple8) -> (rule7 % int3)) triple5 triple4) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 triple4) -> (rule5 % int3)) ((triple5 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 ((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 ((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2)) ((triple5 triple8) -> (rule4 % int3))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not big.
False
13
inv-proof
[(((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) ((triple5 triple8) -> rule4)) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) ((triple5 triple8) -> rule4)) -> rule1))]
("Harry" "is" "big" "-")
((((triple5 triple7 triple8) -> (rule7 % int3)) ((((triple5 triple7 triple8) -> (rule7 % int3)) triple5 triple4) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 triple4) -> (rule5 % int3)) ((triple5 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 ((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 ((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2)) ((triple5 triple8) -> (rule4 % int3))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Charlie is not big.
Unknown
inv-rconc
[@3: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not red.
Unknown
inv-rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Alan is red.[(triple1)] Charlie is green.[(triple2)] Dave is cold.[(triple3)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is kind.[(triple7)] Harry is nice.[(triple6 OR ((triple9 ((triple5 triple7 triple8) -> rule7) triple7) -> rule2))] Harry is red.[(triple5)] Harry is young.[(triple4 OR ((triple5 triple8) -> rule4))] @1: Harry is round.[(((triple5 triple7 triple8) -> rule7))] @2: Harry is blue.[(((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) OR ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5))] @3: Harry is big.[(((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) ((triple5 triple8) -> rule4)) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) ((triple5 triple8) -> rule4)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
((triple9 ((triple5 triple7 triple8) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
((triple5 triple8) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple5 triple7 triple8) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple5 triple7 triple8) -> (rule7 % int2)) triple5 triple4) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple5 triple7 triple8) -> (rule7 % int3)) triple5 ((triple5 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((triple5 triple7 triple8) -> (rule7 % int3)) ((((triple5 triple7 triple8) -> (rule7 % int3)) triple5 triple4) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 triple4) -> (rule5 % int3)) ((triple5 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 ((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple5 triple7 triple8) -> (rule7 % int4)) ((((triple5 triple7 triple8) -> (rule7 % int4)) triple5 ((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2)) ((triple5 triple8) -> (rule4 % int3))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Red Alan is what folks call him, because he is quite red.
Charlie ate some rotten meat and now feels green.
In the snow sits Dave, crying from being cold.
Harry is very young red and kind, however he's green, nice and cold as well.
Young round blue people are also big people.
A kind, cold, round person will be nice in addition.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
You can count on someone who is red and green being young.
People who are red, young, and round are also blue.
A person that is feeling blue and slightly big, is red as well.
Green people who are kind with rosy red skin are round.