Alan grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. That Eric is as round and red as a cherry, and twice as kind. Harry is blue and cold. We called someone with green, round eyes, blue for some reason. Kind big people are green and young. Someone with round, red, and kind traits also will be green. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. A nice person who is downhearted, blue, and green with envy is rough. Green people who are nice are rough.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Eric is red.
True
1
proof
[(triple4)]
("Eric" "is" "red" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple6)]
("Harry" "is" "cold" "-")
triple6
Eric is green.
True
4
proof
[(((triple3 triple4 triple5) -> rule3))]
("Eric" "is" "green" "+")
((triple3 triple4 triple5) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
4
inv-proof
[(((triple3 triple4 triple5) -> rule3))]
("Eric" "is" "green" "-")
((triple3 triple4 triple5) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
True
6
proof
[(((((triple3 triple4 triple5) -> rule3) triple3) -> rule1))]
("Eric" "is" "blue" "+")
((((triple3 triple4 triple5) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((((triple3 triple4 triple5) -> rule3) triple3) -> rule1))]
("Eric" "is" "blue" "-")
((((triple3 triple4 triple5) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
True
9
proof
[(((triple4 ((((triple3 triple4 triple5) -> rule3) triple3) -> rule1) triple3) -> rule4))]
("Eric" "is" "big" "+")
((triple4 ((((triple3 triple4 triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not big.
False
9
inv-proof
[(((triple4 ((((triple3 triple4 triple5) -> rule3) triple3) -> rule1) triple3) -> rule4))]
("Eric" "is" "big" "-")
((triple4 ((((triple3 triple4 triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
True
15
proof
[(((triple5 ((triple3 triple4 triple5) -> rule3) ((triple4 ((((triple3 triple4 triple5) -> rule3) triple3) -> rule1) triple3) -> rule4)) -> rule2))]
("Eric" "is" "young" "+")
((triple5 ((triple3 triple4 triple5) -> (rule3 % int4)) ((triple4 ((((triple3 triple4 triple5) -> (rule3 % int4)) triple3) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not young.
False
15
inv-proof
[(((triple5 ((triple3 triple4 triple5) -> rule3) ((triple4 ((((triple3 triple4 triple5) -> rule3) triple3) -> rule1) triple3) -> rule4)) -> rule2))]
("Eric" "is" "young" "-")
((triple5 ((triple3 triple4 triple5) -> (rule3 % int4)) ((triple4 ((((triple3 triple4 triple5) -> (rule3 % int4)) triple3) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is blue.[(triple2)] Alan is rough.[(triple1)] Eric is kind.[(triple5)] Eric is red.[(triple4)] Eric is round.[(triple3)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] @1: Eric is green.[(((triple3 triple4 triple5) -> rule3))] @2: Eric is blue.[(((((triple3 triple4 triple5) -> rule3) triple3) -> rule1))] @3: Eric is big.[(((triple4 ((((triple3 triple4 triple5) -> rule3) triple3) -> rule1) triple3) -> rule4))] @4: Eric is young.[(((triple5 ((triple3 triple4 triple5) -> rule3) ((triple4 ((((triple3 triple4 triple5) -> rule3) triple3) -> rule1) triple3) -> rule4)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
((triple3 triple4 triple5) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple3 triple4 triple5) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple4 ((((triple3 triple4 triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((triple5 ((triple3 triple4 triple5) -> (rule3 % int4)) ((triple4 ((((triple3 triple4 triple5) -> (rule3 % int4)) triple3) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
That Eric is as round and red as a cherry, and twice as kind.
Harry is blue and cold.
We called someone with green, round eyes, blue for some reason.
Kind big people are green and young.
Someone with round, red, and kind traits also will be green.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
A nice person who is downhearted, blue, and green with envy is rough.
Green people who are nice are rough.