Bob is big for being as young as he is. You will also notice how he is green and red. Red Dave is what folks call him, because he is quite red. Fred had big, red, round cheeks. Someone who is both red and blue will also be a nice person. When someone is young, they can be cold but kind. When someone is young they can be nice and kind, but green in society. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. If red and slightly green people are asked, they will tell you they feel blue. Round green people usually feel blue. A very nice and kind person will also be round shaped.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Fred is not big.
False
1
inv-proof
[(triple8)]
("Fred" "is" "big" "-")
triple8
Bob is blue.
True
3
proof
[(((triple3 triple2) -> rule5))]
("Bob" "is" "blue" "+")
((triple3 triple2) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("Bob" "is" "blue" "-")
((triple3 triple2) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
True
5
proof
[(((triple2 ((triple3 triple2) -> rule5)) -> rule1))]
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((triple2 ((triple3 triple2) -> rule5)) -> rule1))]
("Bob" "is" "nice" "-")
((triple2 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
True
8
proof
[(((triple1 triple4 ((triple2 ((triple3 triple2) -> rule5)) -> rule1)) -> rule4))]
("Bob" "is" "kind" "+")
((triple1 triple4 ((triple2 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not kind.
False
8
inv-proof
[(((triple1 triple4 ((triple2 ((triple3 triple2) -> rule5)) -> rule1)) -> rule4))]
("Bob" "is" "kind" "-")
((triple1 triple4 ((triple2 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is round.
True
14
proof
[(((((triple2 ((triple3 triple2) -> rule5)) -> rule1) ((triple1 triple4 ((triple2 ((triple3 triple2) -> rule5)) -> rule1)) -> rule4)) -> rule7))]
("Bob" "is" "round" "+")
((((triple2 ((triple3 triple2) -> (rule5 % int4))) -> (rule1 % int3)) ((triple1 triple4 ((triple2 ((triple3 triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not round.
False
14
inv-proof
[(((((triple2 ((triple3 triple2) -> rule5)) -> rule1) ((triple1 triple4 ((triple2 ((triple3 triple2) -> rule5)) -> rule1)) -> rule4)) -> rule7))]
("Bob" "is" "round" "-")
((((triple2 ((triple3 triple2) -> (rule5 % int4))) -> (rule1 % int3)) ((triple1 triple4 ((triple2 ((triple3 triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Dave is red.[(triple5)] Fred is big.[(triple8)] Fred is red.[(triple7)] Fred is round.[(triple6)] @1: Bob is blue.[(((triple3 triple2) -> rule5))] @2: Bob is nice.[(((triple2 ((triple3 triple2) -> rule5)) -> rule1))] @3: Bob is kind.[(((triple1 triple4 ((triple2 ((triple3 triple2) -> rule5)) -> rule1)) -> rule4))] @4: Bob is round.[(((((triple2 ((triple3 triple2) -> rule5)) -> rule1) ((triple1 triple4 ((triple2 ((triple3 triple2) -> rule5)) -> rule1)) -> rule4)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple2) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple4 ((triple2 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple2 ((triple3 triple2) -> (rule5 % int4))) -> (rule1 % int3)) ((triple1 triple4 ((triple2 ((triple3 triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is big for being as young as he is; You will also notice how he is green and red.
Red Dave is what folks call him, because he is quite red.
Fred had big, red, round cheeks.
Someone who is both red and blue will also be a nice person.
When someone is young, they can be cold but kind.
When someone is young they can be nice and kind, but green in society.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
If red and slightly green people are asked, they will tell you they feel blue.
Round green people usually feel blue.
A very nice and kind person will also be round shaped.