Bob lives at home with his parents who tell him he is too young to live on his own. Bob is a big blue guy with red rings around his ankles and rough patchy skin. Bob is always cold inside or out. Eric was born only a few years ago so he is young. You will probably see that red, round people are nice, as well as green. Being a young, round and kind individual means that you are also a blue individual. People who are round and young are also quite nice. People who are kind and green are very often rough. Being green and rough are signs that someone is big. Someone that is red and blue because they are cold are also round.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is round.
True
4
proof
[(((triple5 triple3 triple4) -> rule6))]
("Bob" "is" "round" "+")
((triple5 triple3 triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
4
inv-proof
[(((triple5 triple3 triple4) -> rule6))]
("Bob" "is" "round" "-")
((triple5 triple3 triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
True
6
proof
[(((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3))]
("Bob" "is" "nice" "+")
((triple1 ((triple5 triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3))]
("Bob" "is" "nice" "-")
((triple1 ((triple5 triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
True
12
proof
[(((((triple5 triple3 triple4) -> rule6) triple3 ((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3)) -> rule1))]
("Bob" "is" "green" "+")
((((triple5 triple3 triple4) -> (rule6 % int3)) triple3 ((triple1 ((triple5 triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not green.
False
12
inv-proof
[(((((triple5 triple3 triple4) -> rule6) triple3 ((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3)) -> rule1))]
("Bob" "is" "green" "-")
((((triple5 triple3 triple4) -> (rule6 % int3)) triple3 ((triple1 ((triple5 triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is big.[(triple6 OR ((((((triple5 triple3 triple4) -> rule6) triple3 ((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3)) -> rule1) triple2) -> rule5))] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is young.[(triple7)] @1: Bob is round.[(((triple5 triple3 triple4) -> rule6))] @2: Bob is nice.[(((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3))] @3: Bob is green.[(((((triple5 triple3 triple4) -> rule6) triple3 ((triple1 ((triple5 triple3 triple4) -> rule6)) -> rule3)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple6
((((((triple5 triple3 triple4) -> (rule6 % int4)) triple3 ((triple1 ((triple5 triple3 triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple3 triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 ((triple5 triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple5 triple3 triple4) -> (rule6 % int3)) triple3 ((triple1 ((triple5 triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob lives at home with his parents who tell him he is too young to live on his own; Bob is a big blue guy with red rings around his ankles and rough patchy skin; Bob is always cold inside or out.
Eric was born only a few years ago so he is young.
You will probably see that red, round people are nice, as well as green.
Being a young, round and kind individual means that you are also a blue individual.
People who are round and young are also quite nice.
People who are kind and green are very often rough.
Being green and rough are signs that someone is big.
Someone that is red and blue because they are cold are also round.