Alan ate some rotten meat and now feels green. Though he is young, Bob is still nice despite being quite blue. Young Eric who is nice and kind is feeling red, green and blue today. Red Harry is what folks call him, because he is quite red. A big person who is green and cold has red skin. Anyone that is a red, nice soul will be big, too. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. Any big, kind person that turns red is cold to the touch. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. A young person with cold, rough skin will be red as well. A red and green colored person who is cold will be round shaped.
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple5)]
("Eric" "is" "young" "-")
triple5
Eric is big.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "big" "-")
((triple6 triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
True
6
proof
[(((triple6 ((triple6 triple7) -> rule2) triple8) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5)) -> rule4))]
("Eric" "is" "cold" "+")
((triple6 ((triple6 triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
((triple6 ((triple6 triple7) -> (rule2 % int3)) ((triple5 ((triple6 triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not cold.
False
6
inv-proof
[(((triple6 ((triple6 triple7) -> rule2) triple8) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5)) -> rule4))]
("Eric" "is" "cold" "-")
((triple6 ((triple6 triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
((triple6 ((triple6 triple7) -> (rule2 % int3)) ((triple5 ((triple6 triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is round.
True
9
proof
[(((triple6 ((triple6 ((triple6 triple7) -> rule2) triple8) -> rule4) triple9) -> rule7) OR ((triple6 ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5)) -> rule4) triple9) -> rule7))]
("Eric" "is" "round" "+")
((triple6 ((triple6 ((triple6 triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((triple6 ((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((triple6 triple7) -> (rule2 % int4)) triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not round.
False
9
inv-proof
[(((triple6 ((triple6 ((triple6 triple7) -> rule2) triple8) -> rule4) triple9) -> rule7) OR ((triple6 ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5)) -> rule4) triple9) -> rule7))]
("Eric" "is" "round" "-")
((triple6 ((triple6 ((triple6 triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((triple6 ((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((triple6 triple7) -> (rule2 % int4)) triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is green.[(triple1)] Bob is blue.[(triple4)] Bob is nice.[(triple3)] Bob is young.[(triple2)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is kind.[(triple8 OR ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5))] Eric is nice.[(triple7)] Eric is red.[(triple6)] Eric is young.[(triple5)] Harry is red.[(triple11)] @1: Eric is big.[(((triple6 triple7) -> rule2))] @2: Eric is cold.[(((triple6 ((triple6 triple7) -> rule2) triple8) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5)) -> rule4))] @3: Eric is round.[(((triple6 ((triple6 ((triple6 triple7) -> rule2) triple8) -> rule4) triple9) -> rule7) OR ((triple6 ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((triple6 triple7) -> rule2) triple7) -> rule5)) -> rule4) triple9) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
((triple5 ((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple11
Eric is big.
("Eric" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 ((triple6 triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
((triple6 ((triple6 triple7) -> (rule2 % int3)) ((triple5 ((triple6 triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((triple6 ((triple6 ((triple6 triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((triple6 ((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((triple6 triple7) -> (rule2 % int4)) triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Alan ate some rotten meat and now feels green.
Though he is young, Bob is still nice despite being quite blue.
Young Eric who is nice and kind is feeling red, green and blue today.
Red Harry is what folks call him, because he is quite red.
A big person who is green and cold has red skin.
Anyone that is a red, nice soul will be big, too.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
Any big, kind person that turns red is cold to the touch.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
A young person with cold, rough skin will be red as well.
A red and green colored person who is cold will be round shaped.