Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred is a nice person, but he is both blue and red. Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Because Harry gets cold easily he tends to appear round from bundling up. People who are rough, round in shape, and big in stature are usuallu blue in color. A nice, big person that is red is usually young. A blue colored, nice but rough person is definitely young too. Rough and cold and blue people are round. Blue and red people are often rough. Young people with red skin that play rough are actually quite kind. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Fred is blue.
True
1
proof
[(triple6)]
("Fred" "is" "blue" "+")
triple6
Fred is not red.
False
1
inv-proof
[(triple4)]
("Fred" "is" "red" "-")
triple4
Fred is rough.
True
3
proof
[(((triple6 triple4) -> rule5))]
("Fred" "is" "rough" "+")
((triple6 triple4) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple6 triple4) -> rule5))]
("Fred" "is" "rough" "-")
((triple6 triple4) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
True
6
proof
[(((triple5 triple6 ((triple6 triple4) -> rule5)) -> rule3))]
("Fred" "is" "young" "+")
((triple5 triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not young.
False
6
inv-proof
[(((triple5 triple6 ((triple6 triple4) -> rule5)) -> rule3))]
("Fred" "is" "young" "-")
((triple5 triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
True
11
proof
[(((((triple5 triple6 ((triple6 triple4) -> rule5)) -> rule3) ((triple6 triple4) -> rule5) triple4) -> rule6))]
("Fred" "is" "kind" "+")
((((triple5 triple6 ((triple6 triple4) -> (rule5 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not kind.
False
11
inv-proof
[(((((triple5 triple6 ((triple6 triple4) -> rule5)) -> rule3) ((triple6 triple4) -> rule5) triple4) -> rule6))]
("Fred" "is" "kind" "-")
((((triple5 triple6 ((triple6 triple4) -> (rule5 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "big" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Fred is blue.[(triple6)] Fred is nice.[(triple5)] Fred is red.[(triple4)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Harry is cold.[(triple11)] Harry is round.[(triple10)] @1: Fred is rough.[(((triple6 triple4) -> rule5))] @2: Fred is young.[(((triple5 triple6 ((triple6 triple4) -> rule5)) -> rule3))] @3: Fred is kind.[(((((triple5 triple6 ((triple6 triple4) -> rule5)) -> rule3) ((triple6 triple4) -> rule5) triple4) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 triple4) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple5 triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple5 triple6 ((triple6 triple4) -> (rule5 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Fred is a nice person, but he is both blue and red.
Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Because Harry gets cold easily he tends to appear round from bundling up.
People who are rough, round in shape, and big in stature are usuallu blue in color.
A nice, big person that is red is usually young.
A blue colored, nice but rough person is definitely young too.
Rough and cold and blue people are round.
Blue and red people are often rough.
Young people with red skin that play rough are actually quite kind.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.