Alan is big and rough. Eric is considered to be a rather nice person who is also described as being kind, green and big. Fred always goes out of his way to show that he is kind to people. Harry's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters. People that tend to be big and green also tend to be cold. A big person who is red and nice to others is also young. A cold person who is round but rough around the edges is big. Young people who wear red lipstick are certainly kind. Red and round people are nice to others even though they are big. People who always wear red and act in a kind manner towards everyone they meet also have a round body. A person that is known to be big and rough is also green, they will feel blue about it.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Harry is big.
True
1
proof
[(triple11)]
("Harry" "is" "big" "+")
triple11
Eric is not green.
False
1
inv-proof
[(triple5)]
("Eric" "is" "green" "-")
triple5
Harry is young.
True
4
proof
[(((triple8 triple9 triple11) -> rule2))]
("Harry" "is" "young" "+")
((triple8 triple9 triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Eric" "is" "cold" "-")
((triple6 triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is kind.
True
6
proof
[(((triple8 ((triple8 triple9 triple11) -> rule2)) -> rule4))]
("Harry" "is" "kind" "+")
((triple8 ((triple8 triple9 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple8 ((triple8 triple9 triple11) -> rule2)) -> rule4))]
("Harry" "is" "kind" "-")
((triple8 ((triple8 triple9 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
True
8
proof
[(((triple8 ((triple8 ((triple8 triple9 triple11) -> rule2)) -> rule4)) -> rule6))]
("Harry" "is" "round" "+")
((triple8 ((triple8 ((triple8 triple9 triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not round.
False
8
inv-proof
[(((triple8 ((triple8 ((triple8 triple9 triple11) -> rule2)) -> rule4)) -> rule6))]
("Harry" "is" "round" "-")
((triple8 ((triple8 ((triple8 triple9 triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Fred is kind.[(triple7)] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] @1: Eric is cold.[(((triple6 triple5) -> rule1))] Harry is young.[(((triple8 triple9 triple11) -> rule2))] @2: Harry is kind.[(((triple8 ((triple8 triple9 triple11) -> rule2)) -> rule4))] @3: Harry is round.[(((triple8 ((triple8 ((triple8 triple9 triple11) -> rule2)) -> rule4)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8 triple9 triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 ((triple8 triple9 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple8 ((triple8 ((triple8 triple9 triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is big and rough.
Eric is considered to be a rather nice person who is also described as being kind, green and big.
Fred always goes out of his way to show that he is kind to people.
Harry's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters.
People that tend to be big and green also tend to be cold.
A big person who is red and nice to others is also young.
A cold person who is round but rough around the edges is big.
Young people who wear red lipstick are certainly kind.
Red and round people are nice to others even though they are big.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
A person that is known to be big and rough is also green, they will feel blue about it.