Bob wears all blue. Eric is a nice and kind young man who is quite big in size. Gary realized he was round and rough, and he decided to be nice and kind as well. Their actions reflected how young and kind but green they were making things seem blue. Being a kind person even when you are blue is hard, but it means you are round with delight. A good thing to remember is that rough and green people are round as well. A kind person who is big in size is definitely young. A big kind person that is red is almost always nice. Julie is really nice to gardeners since she has a green thumb. Young people that are also red and green, may be fairly rough, also.
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Eric is kind.
True
1
proof
[(triple4)]
("Eric" "is" "kind" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple6 OR ((triple7 ((triple8) -> rule6)) -> rule3))]
("Gary" "is" "round" "-")
triple6
((triple7 ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Eric is green.
True
2
proof
[(((triple3) -> rule6))]
("Eric" "is" "green" "+")
((triple3) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
2
inv-proof
[(((triple3) -> rule6))]
("Eric" "is" "green" "-")
((triple3) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
True
5
proof
[(((triple2 triple4 ((triple3) -> rule6)) -> rule1) OR ((((triple4 triple5) -> rule4) triple4 ((triple3) -> rule6)) -> rule1))]
("Eric" "is" "blue" "+")
((triple2 triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((((triple4 triple5) -> (rule4 % int3)) triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not blue.
False
5
inv-proof
[(((triple2 triple4 ((triple3) -> rule6)) -> rule1) OR ((((triple4 triple5) -> rule4) triple4 ((triple3) -> rule6)) -> rule1))]
("Eric" "is" "blue" "-")
((triple2 triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((((triple4 triple5) -> (rule4 % int3)) triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
True
7
proof
[(((((triple2 triple4 ((triple3) -> rule6)) -> rule1) triple4) -> rule2) OR ((((((triple4 triple5) -> rule4) triple4 ((triple3) -> rule6)) -> rule1) triple4) -> rule2))]
("Eric" "is" "round" "+")
((((triple2 triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((((triple4 triple5) -> (rule4 % int4)) triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is not round.
False
7
inv-proof
[(((((triple2 triple4 ((triple3) -> rule6)) -> rule1) triple4) -> rule2) OR ((((((triple4 triple5) -> rule4) triple4 ((triple3) -> rule6)) -> rule1) triple4) -> rule2))]
("Eric" "is" "round" "-")
((((triple2 triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((((triple4 triple5) -> (rule4 % int4)) triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is blue.[(triple1)] Eric is big.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Eric is young.[(triple2 OR ((triple4 triple5) -> rule4))] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6 OR ((triple7 ((triple8) -> rule6)) -> rule3))] @1: Eric is green.[(((triple3) -> rule6))] Gary is green.[(((triple8) -> rule6))] @2: Eric is blue.[(((triple2 triple4 ((triple3) -> rule6)) -> rule1) OR ((((triple4 triple5) -> rule4) triple4 ((triple3) -> rule6)) -> rule1))] @3: Eric is round.[(((((triple2 triple4 ((triple3) -> rule6)) -> rule1) triple4) -> rule2) OR ((((((triple4 triple5) -> rule4) triple4 ((triple3) -> rule6)) -> rule1) triple4) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
((triple4 triple5) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
((triple7 ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple3) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple8) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple2 triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((((triple4 triple5) -> (rule4 % int3)) triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((((triple2 triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((((triple4 triple5) -> (rule4 % int4)) triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Bob wears all blue.
Eric is a nice and kind young man who is quite big in size.
Gary realized he was round and rough, and he decided to be nice and kind as well.
Their actions reflected how young and kind but green they were making things seem blue.
Being a kind person even when you are blue is hard, but it means you are round with delight.
A good thing to remember is that rough and green people are round as well.
A kind person who is big in size is definitely young.
A big kind person that is red is almost always nice.
Julie is really nice to gardeners since she has a green thumb.
Young people that are also red and green, may be fairly rough, also.