Because Alan gets cold easily he tends to appear round from bundling up. Bob is colored blue and red. He is also kind and cold to the touch. They always call him rough Dave. Gary is both young and fairly round in size. People who are young, while being red and cold, are big people. I've noticed that someone who is big and acts cold towards others is green as well. Big, rough people sometimes are also green and when they are they must be cold. A kind person who is green is usually round. Someone with the traits of being cold and red is also going to be someone who is big. If someone is kind, green, and round sized, then they are typically nice people.
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Bob is cold.
True
1
proof
[(triple5)]
("Bob" "is" "cold" "+")
triple5
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Bob is big.
True
3
proof
[(((triple5 triple3) -> rule5))]
("Bob" "is" "big" "+")
((triple5 triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple5 triple3) -> rule5))]
("Bob" "is" "big" "-")
((triple5 triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
True
5
proof
[(((triple5 ((triple5 triple3) -> rule5)) -> rule2))]
("Bob" "is" "green" "+")
((triple5 ((triple5 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not green.
False
5
inv-proof
[(((triple5 ((triple5 triple3) -> rule5)) -> rule2))]
("Bob" "is" "green" "-")
((triple5 ((triple5 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
True
7
proof
[(((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2)) -> rule4))]
("Bob" "is" "round" "+")
((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not round.
False
7
inv-proof
[(((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2)) -> rule4))]
("Bob" "is" "round" "-")
((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
True
14
proof
[(((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2) ((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule6))]
("Bob" "is" "nice" "+")
((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not nice.
False
14
inv-proof
[(((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2) ((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule6))]
("Bob" "is" "nice" "-")
((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is cold.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Dave is rough.[(triple7)] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Bob is big.[(((triple5 triple3) -> rule5))] @2: Bob is green.[(((triple5 ((triple5 triple3) -> rule5)) -> rule2))] @3: Bob is round.[(((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2)) -> rule4))] @4: Bob is nice.[(((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2) ((triple4 ((triple5 ((triple5 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple5 triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple5 ((triple5 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 ((triple5 ((triple5 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Because Alan gets cold easily he tends to appear round from bundling up.
Bob is colored blue and red; He is also kind and cold to the touch.
They always call him rough Dave.
Gary is both young and fairly round in size.
People who are young, while being red and cold, are big people.
I've noticed that someone who is big and acts cold towards others is green as well.
Big, rough people sometimes are also green and when they are they must be cold.
A kind person who is green is usually round.
Someone with the traits of being cold and red is also going to be someone who is big.
If someone is kind, green, and round sized, then they are typically nice people.