Bob is a big gentleman who is very nice. He is secretly green with envy. Dave is colored red and green. He is also young, rough and very cold. Eric wears all blue. If you meet a nice, young, red man, you will see that they are big too. Red people who are also kind often turn out to be cold from standing outdoors too long. If you big person approaches and is cold, fear not because they are nice. If a person is red and green, then they will present as big. Young people that are nice and green tend to be blue. Big people that tend to be nice and blue, may also be a little rough to others. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Dave is red.
True
1
proof
[(triple6)]
("Dave" "is" "red" "+")
triple6
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Dave is big.
True
3
proof
[(((triple6 triple7) -> rule4))]
("Dave" "is" "big" "+")
((triple6 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule4))]
("Dave" "is" "big" "-")
((triple6 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
True
5
proof
[(((((triple6 triple7) -> rule4) triple8) -> rule3))]
("Dave" "is" "nice" "+")
((((triple6 triple7) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple6 triple7) -> rule4) triple8) -> rule3))]
("Dave" "is" "nice" "-")
((((triple6 triple7) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
True
8
proof
[(((triple4 ((((triple6 triple7) -> rule4) triple8) -> rule3) triple7) -> rule5))]
("Dave" "is" "blue" "+")
((triple4 ((((triple6 triple7) -> (rule4 % int3)) triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not blue.
False
8
inv-proof
[(((triple4 ((((triple6 triple7) -> rule4) triple8) -> rule3) triple7) -> rule5))]
("Dave" "is" "blue" "-")
((triple4 ((((triple6 triple7) -> (rule4 % int3)) triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Eric" "is" "rough" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fred" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5 OR ((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4) triple8) -> rule3) ((triple4 ((((triple6 triple7) -> rule4) triple8) -> rule3) triple7) -> rule5)) -> rule6))] Dave is young.[(triple4)] Eric is blue.[(triple9)] @1: Dave is big.[(((triple6 triple7) -> rule4))] @2: Dave is nice.[(((((triple6 triple7) -> rule4) triple8) -> rule3))] @3: Dave is blue.[(((triple4 ((((triple6 triple7) -> rule4) triple8) -> rule3) triple7) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
((((triple6 triple7) -> (rule4 % int4)) ((((triple6 triple7) -> (rule4 % int4)) triple8) -> (rule3 % int3)) ((triple4 ((((triple6 triple7) -> (rule4 % int4)) triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple6 triple7) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 ((((triple6 triple7) -> (rule4 % int3)) triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Bob is a big gentleman who is very nice; He is secretly green with envy.
Dave is colored red and green; He is also young, rough and very cold.
Eric wears all blue.
If you meet a nice, young, red man, you will see that they are big too.
Red people who are also kind often turn out to be cold from standing outdoors too long.
If you big person approaches and is cold, fear not because they are nice.
If a person is red and green, then they will present as big.
Young people that are nice and green tend to be blue.
Big people that tend to be nice and blue, may also be a little rough to others.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.