Bob is both young and fairly round in size. Big, red Dave is quite kind. From a certain angle Fred is blue but he is young so maybe that will go away. Gary is a nice round guy, which leads to him being red. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. Anyone you find who happens to be kind and blue will also be very nice. People who are round and young are also very nice. If you color the young ones blue then they will be kind. Cold and kind people tend to be blue. People that are green tend to be young. Julie is really nice to gardeners since she has a green thumb.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Bob is nice.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Bob" "is" "nice" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple10) -> rule7))]
("Gary" "is" "green" "-")
((triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fred is nice.
True
5
proof
[(((((triple7 triple6) -> rule4) triple7) -> rule2))]
("Fred" "is" "nice" "+")
((((triple7 triple6) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Gary is not young.
False
3
inv-proof
[(((((triple10) -> rule7)) -> rule6))]
("Gary" "is" "young" "-")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Fred is green.
True
6
proof
[(((((((triple7 triple6) -> rule4) triple7) -> rule2)) -> rule7))]
("Fred" "is" "green" "+")
((((((triple7 triple6) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not green.
False
6
inv-proof
[(((((((triple7 triple6) -> rule4) triple7) -> rule2)) -> rule7))]
("Fred" "is" "green" "-")
((((((triple7 triple6) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Fred is blue.[(triple7)] Fred is young.[(triple6)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Bob is nice.[(((triple2 triple1) -> rule3))] Fred is kind.[(((triple7 triple6) -> rule4))] Gary is green.[(((triple10) -> rule7))] @2: Bob is green.[(((((triple2 triple1) -> rule3)) -> rule7))] Fred is nice.[(((((triple7 triple6) -> rule4) triple7) -> rule2))] Gary is young.[(((((triple10) -> rule7)) -> rule6))] @3: Fred is green.[(((((((triple7 triple6) -> rule4) triple7) -> rule2)) -> rule7))]
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple6) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple7 triple6) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((((triple7 triple6) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Bob is both young and fairly round in size.
Big, red Dave is quite kind.
From a certain angle Fred is blue but he is young so maybe that will go away.
Gary is a nice round guy, which leads to him being red.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
Anyone you find who happens to be kind and blue will also be very nice.
People who are round and young are also very nice.
If you color the young ones blue then they will be kind.
Cold and kind people tend to be blue.
People that are green tend to be young.
Julie is really nice to gardeners since she has a green thumb.