Young Alan is red, green and cold. Bob is both young and fairly round in size. Dave is a red person who is round and also feels blue. Eric is young and round, he is also green. When someone is young, they can be cold but kind. A round shaped and red person is definitely nice. Have you noticed that green and round folks are also so young. Big people are also round people. When someone is kind and their cheeks flame red with embarrassment I know that they are young. Green people who are kind with rosy red skin are round. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Eric is young.
True
1
proof
[(triple10 OR ((triple12 triple11) -> rule3))]
("Eric" "is" "young" "+")
triple10
((triple12 triple11) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is not round.
False
1
inv-proof
[(triple6)]
("Bob" "is" "round" "-")
triple6
Alan is kind.
True
3
proof
[(((triple1 triple4) -> rule1))]
("Alan" "is" "kind" "+")
((triple1 triple4) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple1 triple4) -> rule1))]
("Alan" "is" "kind" "-")
((triple1 triple4) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
True
6
proof
[(((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6))]
("Alan" "is" "round" "+")
((triple2 ((triple1 triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not round.
False
6
inv-proof
[(((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6))]
("Alan" "is" "round" "-")
((triple2 ((triple1 triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is nice.
True
8
proof
[(((((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6) triple2) -> rule2))]
("Alan" "is" "nice" "+")
((((triple2 ((triple1 triple4) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not nice.
False
8
inv-proof
[(((((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6) triple2) -> rule2))]
("Alan" "is" "nice" "-")
((((triple2 ((triple1 triple4) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is round.[(triple6)] Bob is young.[(triple5)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Eric is green.[(triple12)] Eric is round.[(triple11)] Eric is young.[(triple10 OR ((triple12 triple11) -> rule3))] @1: Alan is kind.[(((triple1 triple4) -> rule1))] Dave is nice.[(((triple7 triple8) -> rule2))] @2: Alan is round.[(((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6))] @3: Alan is nice.[(((((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6) triple2) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple12
Eric is round.
("Eric" "is" "round" "+")
triple11
Eric is young.
("Eric" "is" "young" "+")
triple10
((triple12 triple11) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 triple4) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple8) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple2 ((triple1 triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 ((triple1 triple4) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Young Alan is red, green and cold.
Bob is both young and fairly round in size.
Dave is a red person who is round and also feels blue.
Eric is young and round, he is also green.
When someone is young, they can be cold but kind.
A round shaped and red person is definitely nice.
Have you noticed that green and round folks are also so young.
Big people are also round people.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Green people who are kind with rosy red skin are round.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.