Alan is rough around the edges but very kind. He is round which makes him feel blue and he is green with envy when he sees skinny people. Bob is a kind and red colored guy. Red Dave is what folks call him, because he is quite red. That man standing next to you with a big round body goes by the name of Fred. Big and round people who arent cold, tend to be very kind. People who are round and young are also quite nice. If a person that is blue and green is also cold, that means that they are young. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is green.
True
1
proof
[(triple4)]
("Alan" "is" "green" "+")
triple4
Alan is not kind.
False
1
inv-proof
[(triple3)]
("Alan" "is" "kind" "-")
triple3
Alan is cold.
True
4
proof
[(((triple5 triple2 triple4) -> rule4))]
("Alan" "is" "cold" "+")
((triple5 triple2 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
4
inv-proof
[(((triple5 triple2 triple4) -> rule4))]
("Alan" "is" "cold" "-")
((triple5 triple2 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
True
7
proof
[(((((triple5 triple2 triple4) -> rule4) triple5 triple4) -> rule3))]
("Alan" "is" "young" "+")
((((triple5 triple2 triple4) -> (rule4 % int2)) triple5 triple4) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not young.
False
7
inv-proof
[(((((triple5 triple2 triple4) -> rule4) triple5 triple4) -> rule3))]
("Alan" "is" "young" "-")
((((triple5 triple2 triple4) -> (rule4 % int2)) triple5 triple4) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
True
9
proof
[(((((((triple5 triple2 triple4) -> rule4) triple5 triple4) -> rule3) triple1) -> rule2))]
("Alan" "is" "nice" "+")
((((((triple5 triple2 triple4) -> (rule4 % int3)) triple5 triple4) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not nice.
False
9
inv-proof
[(((((((triple5 triple2 triple4) -> rule4) triple5 triple4) -> rule3) triple1) -> rule2))]
("Alan" "is" "nice" "-")
((((((triple5 triple2 triple4) -> (rule4 % int3)) triple5 triple4) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is blue.[(triple5)] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is kind.[(triple7)] Bob is red.[(triple6)] Dave is red.[(triple8)] Fred is big.[(triple10)] Fred is round.[(triple9)] @1: Alan is cold.[(((triple5 triple2 triple4) -> rule4))] @2: Alan is young.[(((((triple5 triple2 triple4) -> rule4) triple5 triple4) -> rule3))] @3: Alan is nice.[(((((((triple5 triple2 triple4) -> rule4) triple5 triple4) -> rule3) triple1) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple5 triple2 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple5 triple2 triple4) -> (rule4 % int2)) triple5 triple4) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((((triple5 triple2 triple4) -> (rule4 % int3)) triple5 triple4) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is rough around the edges but very kind; He is round which makes him feel blue and he is green with envy when he sees skinny people.
Bob is a kind and red colored guy.
Red Dave is what folks call him, because he is quite red.
That man standing next to you with a big round body goes by the name of Fred.
Big and round people who arent cold, tend to be very kind.
People who are round and young are also quite nice.
If a person that is blue and green is also cold, that means that they are young.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.