Charlie ate some rotten meat and now feels green. Due to the fact that Eric is young, he is red and green. He remains kind nevertheless. Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Big, red Harry is quite kind. I have found that if someone is kind and red, that they are quite often nice. A big, blue person who is kind is also round. A person that is nice and young is also going to be a person that is rough. Find a big human that is colored red and green and he will be amazingly kind. It's inevitable that young, green people are big. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. Rough folks with green and red coloration tend to feel cold no matter what.
Charlie is green.
("Charlie" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "+")
triple8
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Eric is nice.
True
3
proof
[(((triple4 triple3) -> rule1) OR ((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1))]
("Eric" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((((((triple2 triple5) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not nice.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "nice" "-")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Eric is rough.
True
5
proof
[(((((triple4 triple3) -> rule1) triple2) -> rule3) OR ((((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1) triple2) -> rule3))]
("Eric" "is" "rough" "+")
((((triple4 triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((((((triple2 triple5) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not rough.
False
5
inv-proof
[(((((triple4 triple3) -> rule1) triple2) -> rule3) OR ((((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1) triple2) -> rule3))]
("Eric" "is" "rough" "-")
((((triple4 triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((((((triple2 triple5) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is cold.
True
8
proof
[(((((((triple4 triple3) -> rule1) triple2) -> rule3) triple5 triple3) -> rule7) OR ((((((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1) triple2) -> rule3) triple5 triple3) -> rule7))]
("Eric" "is" "cold" "+")
((((((triple4 triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple5 triple3) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((((((triple2 triple5) -> (rule5 % int5)) triple3 triple5) -> (rule4 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple5 triple3) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is big.
("Eric" "is" "big" "+")
int5
Eric is not cold.
False
8
inv-proof
[(((((((triple4 triple3) -> rule1) triple2) -> rule3) triple5 triple3) -> rule7) OR ((((((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1) triple2) -> rule3) triple5 triple3) -> rule7))]
("Eric" "is" "cold" "-")
((((((triple4 triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple5 triple3) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((((((triple2 triple5) -> (rule5 % int5)) triple3 triple5) -> (rule4 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple5 triple3) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is big.
("Eric" "is" "big" "+")
int5
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is green.[(triple1)] Eric is green.[(triple5)] Eric is kind.[(triple4 OR ((((triple2 triple5) -> rule5) triple3 triple5) -> rule4))] Eric is red.[(triple3)] Eric is young.[(triple2)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is kind.[(triple6)] Harry is big.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Eric is big.[(((triple2 triple5) -> rule5))] Eric is nice.[(((triple4 triple3) -> rule1) OR ((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1))] Harry is nice.[(((triple10 triple9) -> rule1))] @2: Eric is rough.[(((((triple4 triple3) -> rule1) triple2) -> rule3) OR ((((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1) triple2) -> rule3))] @3: Eric is cold.[(((((((triple4 triple3) -> rule1) triple2) -> rule3) triple5 triple3) -> rule7) OR ((((((((((triple2 triple5) -> rule5) triple3 triple5) -> rule4) triple3) -> rule1) triple2) -> rule3) triple5 triple3) -> rule7))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
((((triple2 triple5) -> (rule5 % int2)) triple3 triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple2 triple5) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((((((triple2 triple5) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((((triple4 triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((((((triple2 triple5) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
((((((triple4 triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple5 triple3) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((((((triple2 triple5) -> (rule5 % int5)) triple3 triple5) -> (rule4 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple5 triple3) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is big.
("Eric" "is" "big" "+")
int5
Charlie ate some rotten meat and now feels green.
Due to the fact that Eric is young, he is red and green; He remains kind nevertheless.
Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Big, red Harry is quite kind.
I have found that if someone is kind and red, that they are quite often nice.
A big, blue person who is kind is also round.
A person that is nice and young is also going to be a person that is rough.
Find a big human that is colored red and green and he will be amazingly kind.
It's inevitable that young, green people are big.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
Rough folks with green and red coloration tend to feel cold no matter what.