Alan is green, which is a possible explanation for why he is so nice. Big Dave is still young so it's easy for him to be kind. For someone so young, big and red, Fred is surprisingly nice, although sometimes cold. A cold temperatured and green colored person who is also big will be young. People who are red and round are usually assumed to be green. Find a big human that is colored red and green and he will be amazingly kind. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. People who have a big shape while they are young are found to be nice. Kind people who are nice find that they must also be rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is nice.
True
1
proof
[(triple8 OR ((triple6 triple10) -> rule5))]
("Fred" "is" "nice" "+")
triple8
((triple6 triple10) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not big.
False
1
inv-proof
[(triple10)]
("Fred" "is" "big" "-")
triple10
Dave is nice.
True
3
proof
[(((triple3 triple5) -> rule5))]
("Dave" "is" "nice" "+")
((triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple3 triple5) -> rule5))]
("Dave" "is" "nice" "-")
((triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
True
5
proof
[(((triple4 ((triple3 triple5) -> rule5)) -> rule6))]
("Dave" "is" "rough" "+")
((triple4 ((triple3 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((triple4 ((triple3 triple5) -> rule5)) -> rule6))]
("Dave" "is" "rough" "-")
((triple4 ((triple3 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
True
8
proof
[(((triple4 ((triple4 ((triple3 triple5) -> rule5)) -> rule6) triple3) -> rule4))]
("Dave" "is" "blue" "+")
((triple4 ((triple4 ((triple3 triple5) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not blue.
False
8
inv-proof
[(((triple4 ((triple4 ((triple3 triple5) -> rule5)) -> rule6) triple3) -> rule4))]
("Dave" "is" "blue" "-")
((triple4 ((triple4 ((triple3 triple5) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Fred is not blue.
Unknown
inv-rconc
[@3: Fred is blue.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Alan is green.[(triple2)] Alan is nice.[(triple1)] Dave is big.[(triple5)] Dave is kind.[(triple4)] Dave is young.[(triple3)] Fred is big.[(triple10)] Fred is cold.[(triple9)] Fred is nice.[(triple8 OR ((triple6 triple10) -> rule5))] Fred is red.[(triple7)] Fred is young.[(triple6)] @1: Dave is nice.[(((triple3 triple5) -> rule5))] @2: Dave is rough.[(((triple4 ((triple3 triple5) -> rule5)) -> rule6))] @3: Dave is blue.[(((triple4 ((triple4 ((triple3 triple5) -> rule5)) -> rule6) triple3) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
((triple6 triple10) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 ((triple3 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 ((triple4 ((triple3 triple5) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Alan is green, which is a possible explanation for why he is so nice.
Big Dave is still young so it's easy for him to be kind.
For someone so young, big and red, Fred is surprisingly nice, although sometimes cold.
A cold temperatured and green colored person who is also big will be young.
People who are red and round are usually assumed to be green.
Find a big human that is colored red and green and he will be amazingly kind.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
People who have a big shape while they are young are found to be nice.
Kind people who are nice find that they must also be rough.