Alan is a big person who is kind to all.  He is red and blue. Bob is round shaped and green colored. Dave is round shaped and green colored. Though he is young, Fred is still nice despite being quite blue. Someone can be very nice and kind, and this means they are also green. Look for the blue and green people, they are kind and will give you directions if you're lost. Someone with round, red, and kind traits also will be green. Every time I see a young blue nice person I know they are also red. Like a blueberry, a big blue person is round as anything. Big, green people that feel blue are mostly young.
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
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 nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Fred is young.
True
1
proof
[(triple9)]
("Fred" "is" "young" "+")
triple9
Fred is not nice.
False
1
inv-proof
[(triple10)]
("Fred" "is" "nice" "-")
triple10
Alan is round.
True
3
proof
[(((triple3 triple4) -> rule5))]
("Alan" "is" "round" "+")
((triple3 triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Fred is not red.
False
4
inv-proof
[(((triple10 triple9 triple11) -> rule4))]
("Fred" "is" "red" "-")
((triple10 triple9 triple11) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Alan is green.
True
6
proof
[(((((triple3 triple4) -> rule5) triple1 triple2) -> rule3))]
("Alan" "is" "green" "+")
((((triple3 triple4) -> (rule5 % int2)) triple1 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not green.
False
6
inv-proof
[(((((triple3 triple4) -> rule5) triple1 triple2) -> rule3))]
("Alan" "is" "green" "-")
((((triple3 triple4) -> (rule5 % int2)) triple1 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
True
9
proof
[(((triple4 ((((triple3 triple4) -> rule5) triple1 triple2) -> rule3) triple3) -> rule6))]
("Alan" "is" "young" "+")
((triple4 ((((triple3 triple4) -> (rule5 % int3)) triple1 triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not young.
False
9
inv-proof
[(((triple4 ((((triple3 triple4) -> rule5) triple1 triple2) -> rule3) triple3) -> rule6))]
("Alan" "is" "young" "-")
((triple4 ((((triple3 triple4) -> (rule5 % int3)) triple1 triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple6)] Bob is round.[(triple5)] Dave is green.[(triple8)] Dave is round.[(triple7)] Fred is blue.[(triple11)] Fred is nice.[(triple10)] Fred is young.[(triple9)] @1: Alan is round.[(((triple3 triple4) -> rule5))] Fred is red.[(((triple10 triple9 triple11) -> rule4))] @2: Alan is green.[(((((triple3 triple4) -> rule5) triple1 triple2) -> rule3))] @3: Alan is young.[(((triple4 ((((triple3 triple4) -> rule5) triple1 triple2) -> rule3) triple3) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple10 triple9 triple11) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple3 triple4) -> (rule5 % int2)) triple1 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple4 ((((triple3 triple4) -> (rule5 % int3)) triple1 triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is a big person who is kind to all; He is red and blue.
Bob is round shaped and green colored.
Dave is round shaped and green colored.
Though he is young, Fred is still nice despite being quite blue.
Someone can be very nice and kind, and this means they are also green.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Someone with round, red, and kind traits also will be green.
Every time I see a young blue nice person I know they are also red.
Like a blueberry, a big blue person is round as anything.
Big, green people that feel blue are mostly young.