Alan has rough skin so it is red. He is big but so very kind. You could say that Bob is red and kind and it would also be true that he is cold and big. Even though he's a big dude, Dave is cold. In the snow sits Gary, crying from being cold. Santa Claus is red and kind. He is also very nice, especially to children. People who are blue, cold, and round are often kind. I've found that people with rough skin tend to be really nice but they also often feel blue. A person with rough skin who has been standing in the cold will turn red. If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Bob is kind.
True
1
proof
[(triple6)]
("Bob" "is" "kind" "+")
triple6
Bob is not cold.
False
1
inv-proof
[(triple7)]
("Bob" "is" "cold" "-")
triple7
Alan is nice.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Alan" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Bob" "is" "nice" "-")
((triple5 triple6) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Alan is blue.
True
5
proof
[(((triple1 ((triple2 triple3) -> rule1)) -> rule3))]
("Alan" "is" "blue" "+")
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((triple1 ((triple2 triple3) -> rule1)) -> rule3))]
("Alan" "is" "blue" "-")
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
True
10
proof
[(((((triple2 triple3) -> rule1) ((triple1 ((triple2 triple3) -> rule1)) -> rule3) triple4) -> rule5))]
("Alan" "is" "round" "+")
((((triple2 triple3) -> (rule1 % int3)) ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not round.
False
10
inv-proof
[(((((triple2 triple3) -> rule1) ((triple1 ((triple2 triple3) -> rule1)) -> rule3) triple4) -> rule5))]
("Alan" "is" "round" "-")
((((triple2 triple3) -> (rule1 % int3)) ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple8)] Bob is cold.[(triple7)] Bob is kind.[(triple6)] Bob is red.[(triple5)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Gary is cold.[(triple11)] @1: Alan is nice.[(((triple2 triple3) -> rule1))] Bob is nice.[(((triple5 triple6) -> rule1))] @2: Alan is blue.[(((triple1 ((triple2 triple3) -> rule1)) -> rule3))] @3: Alan is round.[(((((triple2 triple3) -> rule1) ((triple1 ((triple2 triple3) -> rule1)) -> rule3) triple4) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple6) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple2 triple3) -> (rule1 % int3)) ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan has rough skin so it is red; He is big but so very kind.
You could say that Bob is red and kind and it would also be true that he is cold and big.
Even though he's a big dude, Dave is cold.
In the snow sits Gary, crying from being cold.
Santa Claus is red and kind; He is also very nice, especially to children.
People who are blue, cold, and round are often kind.
I've found that people with rough skin tend to be really nice but they also often feel blue.
A person with rough skin who has been standing in the cold will turn red.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.