Bob, who is nice and kind, can also be thought of as cold and rough. Dave was looking rather round and feeling rather cold, but people thought he is kind. Eric is very nice to people, but he's also rather big. Gary is a man who is both round and rough. When someone is nice and rough they are usually red. Cold, rough people are always green. Red, kind, rough people are the young ones. Most young and nice people will be kind. A kind, cold, round person will be nice in addition. A young person who is red and green is also going to look round.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Dave is round.
True
1
proof
[(triple5)]
("Dave" "is" "round" "+")
triple5
Bob is not cold.
False
1
inv-proof
[(triple4)]
("Bob" "is" "cold" "-")
triple4
Bob is red.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "red" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple4 triple1) -> rule2))]
("Bob" "is" "green" "-")
((triple4 triple1) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
True
6
proof
[(((((triple2 triple1) -> rule1) triple3 triple1) -> rule3))]
("Bob" "is" "young" "+")
((((triple2 triple1) -> (rule1 % int2)) triple3 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not young.
False
6
inv-proof
[(((((triple2 triple1) -> rule1) triple3 triple1) -> rule3))]
("Bob" "is" "young" "-")
((((triple2 triple1) -> (rule1 % int2)) triple3 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
True
13
proof
[(((((((triple2 triple1) -> rule1) triple3 triple1) -> rule3) ((triple4 triple1) -> rule2) ((triple2 triple1) -> rule1)) -> rule6))]
("Bob" "is" "round" "+")
((((((triple2 triple1) -> (rule1 % int4)) triple3 triple1) -> (rule3 % int3)) ((triple4 triple1) -> (rule2 % int2)) ((triple2 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not round.
False
13
inv-proof
[(((((((triple2 triple1) -> rule1) triple3 triple1) -> rule3) ((triple4 triple1) -> rule2) ((triple2 triple1) -> rule1)) -> rule6))]
("Bob" "is" "round" "-")
((((((triple2 triple1) -> (rule1 % int4)) triple3 triple1) -> (rule3 % int3)) ((triple4 triple1) -> (rule2 % int2)) ((triple2 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is round.[(triple5)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Gary is rough.[(triple11)] Gary is round.[(triple10)] @1: Bob is green.[(((triple4 triple1) -> rule2))] Bob is red.[(((triple2 triple1) -> rule1))] Dave is nice.[(((triple7 triple5 triple6) -> rule5))] @2: Bob is young.[(((((triple2 triple1) -> rule1) triple3 triple1) -> rule3))] @3: Bob is round.[(((((((triple2 triple1) -> rule1) triple3 triple1) -> rule3) ((triple4 triple1) -> rule2) ((triple2 triple1) -> rule1)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple1) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple5 triple6) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple2 triple1) -> (rule1 % int2)) triple3 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple2 triple1) -> (rule1 % int4)) triple3 triple1) -> (rule3 % int3)) ((triple4 triple1) -> (rule2 % int2)) ((triple2 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob, who is nice and kind, can also be thought of as cold and rough.
Dave was looking rather round and feeling rather cold, but people thought he is kind.
Eric is very nice to people, but he's also rather big.
Gary is a man who is both round and rough.
When someone is nice and rough they are usually red.
Cold, rough people are always green.
Red, kind, rough people are the young ones.
Most young and nice people will be kind.
A kind, cold, round person will be nice in addition.
A young person who is red and green is also going to look round.