The big, round, blue guy is Bob. He's kind but rather rough. Most people consider Eric to bed red. He's pretty cold to people and often feels blue. Eric is a big person. Fred was born only a few years ago so he is young. Gary was born only a few years ago so he is young. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Nice people are kind and rough when they are young. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Somebody fitting a young, blue and round description will also fit a green description. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Fred is not young.
False
1
inv-proof
[(triple10)]
("Fred" "is" "young" "-")
triple10
Bob is nice.
True
4
proof
[(((triple4 triple2 triple5) -> rule5))]
("Bob" "is" "nice" "+")
((triple4 triple2 triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule5))]
("Bob" "is" "nice" "-")
((triple4 triple2 triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
True
7
proof
[(((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2))]
("Bob" "is" "young" "+")
((((triple4 triple2 triple5) -> (rule5 % int2)) triple3 triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not young.
False
7
inv-proof
[(((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2))]
("Bob" "is" "young" "-")
((((triple4 triple2 triple5) -> (rule5 % int2)) triple3 triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
True
10
proof
[(((triple4 ((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2) triple1) -> rule4))]
("Bob" "is" "green" "+")
((triple4 ((((triple4 triple2 triple5) -> (rule5 % int3)) triple3 triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not green.
False
10
inv-proof
[(((triple4 ((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2) triple1) -> rule4))]
("Bob" "is" "green" "-")
((triple4 ((((triple4 triple2 triple5) -> (rule5 % int3)) triple3 triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is red.[(triple6)] Fred is young.[(triple10)] Gary is young.[(triple11)] @1: Bob is nice.[(((triple4 triple2 triple5) -> rule5))] @2: Bob is young.[(((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2))] @3: Bob is green.[(((triple4 ((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2) triple1) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple4 triple2 triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple4 triple2 triple5) -> (rule5 % int2)) triple3 triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple4 ((((triple4 triple2 triple5) -> (rule5 % int3)) triple3 triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
The big, round, blue guy is Bob; He's kind but rather rough.
Most people consider Eric to bed red; He's pretty cold to people and often feels blue; Eric is a big person.
Fred was born only a few years ago so he is young.
Gary was born only a few years ago so he is young.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Nice people are kind and rough when they are young.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Somebody fitting a young, blue and round description will also fit a green description.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.