Alan looks red to most people, with blue features. Bob is known for being big and green and rough around the edges but is still kind. Right now Bob is cold from the snow. Charlie is young, he is also red and green. Dave is round shaped and green colored. When young, round people are cold it their skin gets a blue tinge to it. An individual that fits the nice, red, and kind description will fit the description of big, too. Rough people are often round. It's impossible for someone to be red, big, and cold without them also being kind. Looking blue can be a sign that someone is cold. Someone with the traits of being cold and red is also going to be someone who is big.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Alan is blue.
True
1
proof
[(triple2)]
("Alan" "is" "blue" "+")
triple2
Bob is not cold.
False
1
inv-proof
[(triple6)]
("Bob" "is" "cold" "-")
triple6
Alan is cold.
True
2
proof
[(((triple2) -> rule5))]
("Alan" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("Alan" "is" "cold" "-")
((triple2) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
True
4
proof
[(((((triple2) -> rule5) triple1) -> rule6))]
("Alan" "is" "big" "+")
((((triple2) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not big.
False
4
inv-proof
[(((((triple2) -> rule5) triple1) -> rule6))]
("Alan" "is" "big" "-")
((((triple2) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
True
8
proof
[(((triple1 ((((triple2) -> rule5) triple1) -> rule6) ((triple2) -> rule5)) -> rule4))]
("Alan" "is" "kind" "+")
((triple1 ((((triple2) -> (rule5 % int3)) triple1) -> (rule6 % int2)) ((triple2) -> (rule5 % int3))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not kind.
False
8
inv-proof
[(((triple1 ((((triple2) -> rule5) triple1) -> rule6) ((triple2) -> rule5)) -> rule4))]
("Alan" "is" "kind" "-")
((triple1 ((((triple2) -> (rule5 % int3)) triple1) -> (rule6 % int2)) ((triple2) -> (rule5 % int3))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple7)] Bob is cold.[(triple6)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Charlie is green.[(triple10)] Charlie is red.[(triple9)] Charlie is young.[(triple8)] Dave is green.[(triple12)] Dave is round.[(triple11)] @1: Alan is cold.[(((triple2) -> rule5))] Bob is round.[(((triple3) -> rule3))] @2: Alan is big.[(((((triple2) -> rule5) triple1) -> rule6))] @3: Alan is kind.[(((triple1 ((((triple2) -> rule5) triple1) -> rule6) ((triple2) -> rule5)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
triple11
Alan is cold.
("Alan" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple2) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 ((((triple2) -> (rule5 % int3)) triple1) -> (rule6 % int2)) ((triple2) -> (rule5 % int3))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan looks red to most people, with blue features.
Bob is known for being big and green and rough around the edges but is still kind; Right now Bob is cold from the snow.
Charlie is young, he is also red and green.
Dave is round shaped and green colored.
When young, round people are cold it their skin gets a blue tinge to it.
An individual that fits the nice, red, and kind description will fit the description of big, too.
Rough people are often round.
It's impossible for someone to be red, big, and cold without them also being kind.
Looking blue can be a sign that someone is cold.
Someone with the traits of being cold and red is also going to be someone who is big.