Red Alan is what folks call him, because he is quite red. Even though Bob is young, he is still very round and still very red. Dave is blue just like his dog. Dave is rough and round enough for the dog to use him as an exercise wheel. Harry is green, which is a possible explanation for why he is so nice. If the description of nice and green applies to somebody, the description of young will, too. People who are rough, round in shape, and big in stature are usuallu blue in color. Rough people are often always nice. Someone who is cold, big, and rough is always green, as a rule. A quite nice person who is red and green is also big. People with big hands and red, rough skin are terribly kind. Julie is really nice to gardeners since she has a green thumb.
Alan is red.
("Alan" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
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 rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple9 OR ((triple8) -> rule7))]
("Harry" "is" "green" "+")
triple9
((triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is not red.
False
1
inv-proof
[(triple4)]
("Bob" "is" "red" "-")
triple4
Dave is nice.
True
2
proof
[(((triple6) -> rule3))]
("Dave" "is" "nice" "+")
((triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple6) -> rule3))]
("Dave" "is" "nice" "-")
((triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
True
3
proof
[(((((triple6) -> rule3)) -> rule7))]
("Dave" "is" "green" "+")
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not green.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule7))]
("Dave" "is" "green" "-")
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
True
6
proof
[(((((((triple6) -> rule3)) -> rule7) ((triple6) -> rule3)) -> rule1))]
("Dave" "is" "young" "+")
((((((triple6) -> (rule3 % int3))) -> (rule7 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not young.
False
6
inv-proof
[(((((((triple6) -> rule3)) -> rule7) ((triple6) -> rule3)) -> rule1))]
("Dave" "is" "young" "-")
((((((triple6) -> (rule3 % int3))) -> (rule7 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is red.[(triple1)] Bob is red.[(triple4)] Bob is round.[(triple3)] Bob is young.[(triple2)] Dave is blue.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Harry is green.[(triple9 OR ((triple8) -> rule7))] Harry is nice.[(triple8)] @1: Dave is nice.[(((triple6) -> rule3))] Harry is young.[(((triple9 triple8) -> rule1) OR ((((triple8) -> rule7) triple8) -> rule1))] @2: Dave is green.[(((((triple6) -> rule3)) -> rule7))] @3: Dave is young.[(((((((triple6) -> rule3)) -> rule7) ((triple6) -> rule3)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple9
((triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
((triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple8) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((((triple6) -> (rule3 % int3))) -> (rule7 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Red Alan is what folks call him, because he is quite red.
Even though Bob is young, he is still very round and still very red.
Dave is blue just like his dog; Dave is rough and round enough for the dog to use him as an exercise wheel.
Harry is green, which is a possible explanation for why he is so nice.
If the description of nice and green applies to somebody, the description of young will, too.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Rough people are often always nice.
Someone who is cold, big, and rough is always green, as a rule.
A quite nice person who is red and green is also big.
People with big hands and red, rough skin are terribly kind.
Julie is really nice to gardeners since she has a green thumb.