Alan's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Eric is blue just like his dog. Eric is rough and round enough for the dog to use him as an exercise wheel. Red Harry is what folks call him, because he is quite red. You'll always find a young, kind and red person to be a cold person, too. People who are rough and green with envy are young. Anyone who's got young, round and big traits is bound to have a red trait, too. John is round and rough, meaning that he is someone that is seen as green. A blue, rough and round person will also be a big person.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Eric is round.
True
1
proof
[(triple4)]
("Eric" "is" "round" "+")
triple4
Eric is not blue.
False
1
inv-proof
[(triple6)]
("Eric" "is" "blue" "-")
triple6
Eric is green.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Eric" "is" "green" "+")
((triple4 triple5) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not big.
False
4
inv-proof
[(((triple6 triple5 triple4) -> rule5))]
("Eric" "is" "big" "-")
((triple6 triple5 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
True
5
proof
[(((triple5 ((triple4 triple5) -> rule4)) -> rule2))]
("Eric" "is" "young" "+")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
5
inv-proof
[(((triple5 ((triple4 triple5) -> rule4)) -> rule2))]
("Eric" "is" "young" "-")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
True
11
proof
[(((((triple5 ((triple4 triple5) -> rule4)) -> rule2) ((triple6 triple5 triple4) -> rule5) triple4) -> rule3))]
("Eric" "is" "red" "+")
((((triple5 ((triple4 triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple6 triple5 triple4) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not red.
False
11
inv-proof
[(((((triple5 ((triple4 triple5) -> rule4)) -> rule2) ((triple6 triple5 triple4) -> rule5) triple4) -> rule3))]
("Eric" "is" "red" "-")
((((triple5 ((triple4 triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple6 triple5 triple4) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is nice.[(triple1)] Eric is blue.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Harry is red.[(triple7)] @1: Eric is big.[(((triple6 triple5 triple4) -> rule5))] Eric is green.[(((triple4 triple5) -> rule4))] @2: Eric is young.[(((triple5 ((triple4 triple5) -> rule4)) -> rule2))] @3: Eric is red.[(((((triple5 ((triple4 triple5) -> rule4)) -> rule2) ((triple6 triple5 triple4) -> rule5) triple4) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple6 triple5 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple4 triple5) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple5 ((triple4 triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple6 triple5 triple4) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Eric is blue just like his dog; Eric is rough and round enough for the dog to use him as an exercise wheel.
Red Harry is what folks call him, because he is quite red.
You'll always find a young, kind and red person to be a cold person, too.
People who are rough and green with envy are young.
Anyone who's got young, round and big traits is bound to have a red trait, too.
John is round and rough, meaning that he is someone that is seen as green.
A blue, rough and round person will also be a big person.