Alan is round shaped and green colored. Even though Eric is young, he is still very round and still very red. Fred ate some rotten meat and now feels green. Harry was born only a few years ago so he is young. You will probably see that big, round, blue people are green, too. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. There could be a round someone with red hair wearing blue pants. If a person is red and green, then they will present as big.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
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 red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Eric is not round.
False
1
inv-proof
[(triple4)]
("Eric" "is" "round" "-")
triple4
Eric is blue.
True
3
proof
[(((triple5 triple4) -> rule4))]
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple5 triple4) -> rule4))]
("Eric" "is" "blue" "-")
((triple5 triple4) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
True
6
proof
[(((triple5 ((triple5 triple4) -> rule4) triple4) -> rule3))]
("Eric" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not big.
False
6
inv-proof
[(((triple5 ((triple5 triple4) -> rule4) triple4) -> rule3))]
("Eric" "is" "big" "-")
((triple5 ((triple5 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
True
11
proof
[(((triple4 ((triple5 ((triple5 triple4) -> rule4) triple4) -> rule3) ((triple5 triple4) -> rule4)) -> rule1))]
("Eric" "is" "green" "+")
((triple4 ((triple5 ((triple5 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple5 triple4) -> (rule4 % int3))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not green.
False
11
inv-proof
[(((triple4 ((triple5 ((triple5 triple4) -> rule4) triple4) -> rule3) ((triple5 triple4) -> rule4)) -> rule1))]
("Eric" "is" "green" "-")
((triple4 ((triple5 ((triple5 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple5 triple4) -> (rule4 % int3))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Eric is red.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple6)] Harry is young.[(triple7)] @1: Eric is blue.[(((triple5 triple4) -> rule4))] @2: Eric is big.[(((triple5 ((triple5 triple4) -> rule4) triple4) -> rule3))] @3: Eric is green.[(((triple4 ((triple5 ((triple5 triple4) -> rule4) triple4) -> rule3) ((triple5 triple4) -> rule4)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple4 ((triple5 ((triple5 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple5 triple4) -> (rule4 % int3))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is round shaped and green colored.
Even though Eric is young, he is still very round and still very red.
Fred ate some rotten meat and now feels green.
Harry was born only a few years ago so he is young.
You will probably see that big, round, blue people are green, too.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
There could be a round someone with red hair wearing blue pants.
If a person is red and green, then they will present as big.