Bob is big and tends to wear red shirts. Dave, like all young people, is nice. Eric associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. I have found that if someone is kind and red, that they are quite often nice. Kind young people that are still blue are generally round shaped. A nice red person that is cold is always big, I have found. A big and rough person who is blue is also considered to be green. Anyone you know who is cold and kind must certainly be young. Anybody that is blue, red and cold will also be round, for sure.
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple5)]
("Eric" "is" "young" "-")
triple5
Eric is round.
True
4
proof
[(((triple8 triple5 triple6) -> rule3))]
("Eric" "is" "round" "+")
((triple8 triple5 triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
4
inv-proof
[(((triple8 triple5 triple6) -> rule3))]
("Eric" "is" "round" "-")
((triple8 triple5 triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
True
7
proof
[(((triple7 ((triple8 triple5 triple6) -> rule3) triple6) -> rule1))]
("Eric" "is" "red" "+")
((triple7 ((triple8 triple5 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not red.
False
7
inv-proof
[(((triple7 ((triple8 triple5 triple6) -> rule3) triple6) -> rule1))]
("Eric" "is" "red" "-")
((triple7 ((triple8 triple5 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
True
9
proof
[(((triple6 ((triple7 ((triple8 triple5 triple6) -> rule3) triple6) -> rule1)) -> rule2))]
("Eric" "is" "nice" "+")
((triple6 ((triple7 ((triple8 triple5 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not nice.
False
9
inv-proof
[(((triple6 ((triple7 ((triple8 triple5 triple6) -> rule3) triple6) -> rule1)) -> rule2))]
("Eric" "is" "nice" "-")
((triple6 ((triple7 ((triple8 triple5 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Bob is big.[(triple2)] Bob is red.[(triple1)] Dave is nice.[(triple4)] Dave is young.[(triple3)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is young.[(triple5)] @1: Eric is round.[(((triple8 triple5 triple6) -> rule3))] @2: Eric is red.[(((triple7 ((triple8 triple5 triple6) -> rule3) triple6) -> rule1))] @3: Eric is nice.[(((triple6 ((triple7 ((triple8 triple5 triple6) -> rule3) triple6) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
((triple8 triple5 triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((triple8 triple5 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 ((triple7 ((triple8 triple5 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Bob is big and tends to wear red shirts.
Dave, like all young people, is nice.
Eric associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
I have found that if someone is kind and red, that they are quite often nice.
Kind young people that are still blue are generally round shaped.
A nice red person that is cold is always big, I have found.
A big and rough person who is blue is also considered to be green.
Anyone you know who is cold and kind must certainly be young.
Anybody that is blue, red and cold will also be round, for sure.