Young Alan got into a fight that left him with red sores on his face. Even though big Eric can be rough and cold, he is nice for someone as red as he is. Red Gary is what folks call him, because he is quite red. Harry, that young round kid, is kind whenever he's blue. A young person with rough red skin is downhearted and blue. Rough people are often round. Rough people, round from over eating, who are also cold are young and don't mind the draft. I see it all the time, nice big people make equal a cold person. Someone who is colored both in red and green, while being kind to others, is a round person. Generally, round and kind people are big. Round, nice people are normally cold and nasty.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "+")
triple12
Harry is not kind.
False
1
inv-proof
[(triple11)]
("Harry" "is" "kind" "-")
triple11
Harry is big.
True
3
proof
[(((triple10 triple11) -> rule6))]
("Harry" "is" "big" "+")
((triple10 triple11) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple10 triple11) -> rule6))]
("Harry" "is" "big" "-")
((triple10 triple11) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Eric is young.
True
5
proof
[(((((triple3) -> rule2) triple6 triple3) -> rule3) OR ((((triple3) -> rule2) ((triple5 triple7) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule7) triple3) -> rule3))]
("Eric" "is" "young" "+")
((((triple3) -> (rule2 % int2)) triple6 triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple5 triple7) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule2 % int3)) triple5) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not young.
False
5
inv-proof
[(((((triple3) -> rule2) triple6 triple3) -> rule3) OR ((((triple3) -> rule2) ((triple5 triple7) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule7) triple3) -> rule3))]
("Eric" "is" "young" "-")
((((triple3) -> (rule2 % int2)) triple6 triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple5 triple7) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule2 % int3)) triple5) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
True
8
proof
[(((triple3 ((((triple3) -> rule2) triple6 triple3) -> rule3) triple4) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((triple5 triple7) -> rule4) triple3) -> rule3) triple4) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule7) triple3) -> rule3) triple4) -> rule1))]
("Eric" "is" "blue" "+")
((triple3 ((((triple3) -> (rule2 % int3)) triple6 triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((triple3 ((((triple3) -> (rule2 % int4)) ((triple5 triple7) -> (rule4 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
((triple3 ((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4)) triple5) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is not blue.
False
8
inv-proof
[(((triple3 ((((triple3) -> rule2) triple6 triple3) -> rule3) triple4) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((triple5 triple7) -> rule4) triple3) -> rule3) triple4) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule7) triple3) -> rule3) triple4) -> rule1))]
("Eric" "is" "blue" "-")
((triple3 ((((triple3) -> (rule2 % int3)) triple6 triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((triple3 ((((triple3) -> (rule2 % int4)) ((triple5 triple7) -> (rule4 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
((triple3 ((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4)) triple5) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Alan is red.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple7)] Eric is cold.[(triple6 OR ((triple5 triple7) -> rule4) OR ((((triple3) -> rule2) triple5) -> rule7))] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is rough.[(triple3)] Gary is red.[(triple8)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Eric is round.[(((triple3) -> rule2))] Harry is big.[(((triple10 triple11) -> rule6))] @2: Eric is young.[(((((triple3) -> rule2) triple6 triple3) -> rule3) OR ((((triple3) -> rule2) ((triple5 triple7) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule7) triple3) -> rule3))] @3: Eric is blue.[(((triple3 ((((triple3) -> rule2) triple6 triple3) -> rule3) triple4) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((triple5 triple7) -> rule4) triple3) -> rule3) triple4) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule7) triple3) -> rule3) triple4) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
((triple5 triple7) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((((triple3) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
((triple3) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple11) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple3) -> (rule2 % int2)) triple6 triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple5 triple7) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule2 % int3)) triple5) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
((triple3 ((((triple3) -> (rule2 % int3)) triple6 triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((triple3 ((((triple3) -> (rule2 % int4)) ((triple5 triple7) -> (rule4 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
((triple3 ((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4)) triple5) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Young Alan got into a fight that left him with red sores on his face.
Even though big Eric can be rough and cold, he is nice for someone as red as he is.
Red Gary is what folks call him, because he is quite red.
Harry, that young round kid, is kind whenever he's blue.
A young person with rough red skin is downhearted and blue.
Rough people are often round.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
I see it all the time, nice big people make equal a cold person.
Someone who is colored both in red and green, while being kind to others, is a round person.
Generally, round and kind people are big.
Round, nice people are normally cold and nasty.