Even though Alan is green with envy he is nice with rosy red cheeks. Bob is very young to be a nurse but he loves helping others because he is so nice and kind. Dave is round shaped and green colored. Fred has a round face and is very nice. A round person who is nice is young. A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. It's just a fact that a blue person is a kind person.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Fred is young.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Fred" "is" "young" "+")
((triple10 triple9) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Fred" "is" "young" "-")
((triple10 triple9) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
True
6
proof
[(((triple9 ((triple10 triple9) -> rule1) triple10) -> rule2))]
("Fred" "is" "blue" "+")
((triple9 ((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple9 ((triple10 triple9) -> rule1) triple10) -> rule2))]
("Fred" "is" "blue" "-")
((triple9 ((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
True
7
proof
[(((((triple9 ((triple10 triple9) -> rule1) triple10) -> rule2)) -> rule4))]
("Fred" "is" "kind" "+")
((((triple9 ((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not kind.
False
7
inv-proof
[(((((triple9 ((triple10 triple9) -> rule1) triple10) -> rule2)) -> rule4))]
("Fred" "is" "kind" "-")
((((triple9 ((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is kind.[(triple6)] Bob is nice.[(triple5)] Bob is young.[(triple4)] Dave is green.[(triple8)] Dave is round.[(triple7)] Fred is nice.[(triple10)] Fred is round.[(triple9)] @1: Fred is young.[(((triple10 triple9) -> rule1))] @2: Fred is blue.[(((triple9 ((triple10 triple9) -> rule1) triple10) -> rule2))] @3: Fred is kind.[(((((triple9 ((triple10 triple9) -> rule1) triple10) -> rule2)) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
((triple10 triple9) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 ((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple9 ((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Even though Alan is green with envy he is nice with rosy red cheeks.
Bob is very young to be a nurse but he loves helping others because he is so nice and kind.
Dave is round shaped and green colored.
Fred has a round face and is very nice.
A round person who is nice is young.
A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
It's just a fact that a blue person is a kind person.