Alan is a man who is both round and rough. Bob is red when he is rough and blue when he is kind. The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been. They always call him rough Eric. Green and blue people have a habit of being cold, which makes them red too. As far as anyone can tell, whoever is kind, rough, and big is a round person. People that feel green are cold to people that try to help them. If a rather cold person is also kind then they are probably rough. A red and green colored person who is cold will be round shaped. Those who are round and cold are young.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple6)]
("Bob" "is" "blue" "+")
triple6
Eric is not rough.
False
1
inv-proof
[(triple11)]
("Eric" "is" "rough" "-")
triple11
Dave is cold.
True
2
proof
[(((triple10) -> rule3))]
("Dave" "is" "cold" "+")
((triple10) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple10) -> rule3))]
("Dave" "is" "cold" "-")
((triple10) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
True
5
proof
[(((triple8 ((triple10) -> rule3) triple10) -> rule5))]
("Dave" "is" "round" "+")
((triple8 ((triple10) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not round.
False
5
inv-proof
[(((triple8 ((triple10) -> rule3) triple10) -> rule5))]
("Dave" "is" "round" "-")
((triple8 ((triple10) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
True
8
proof
[(((((triple10) -> rule3) ((triple8 ((triple10) -> rule3) triple10) -> rule5)) -> rule6))]
("Dave" "is" "young" "+")
((((triple10) -> (rule3 % int3)) ((triple8 ((triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not young.
False
8
inv-proof
[(((((triple10) -> rule3) ((triple8 ((triple10) -> rule3) triple10) -> rule5)) -> rule6))]
("Dave" "is" "young" "-")
((((triple10) -> (rule3 % int3)) ((triple8 ((triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Dave is green.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Eric is rough.[(triple11)] @1: Dave is cold.[(((triple10) -> rule3))] @2: Dave is round.[(((triple8 ((triple10) -> rule3) triple10) -> rule5))] @3: Dave is young.[(((((triple10) -> rule3) ((triple8 ((triple10) -> rule3) triple10) -> rule5)) -> rule6))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
((triple10) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple8 ((triple10) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple10) -> (rule3 % int3)) ((triple8 ((triple10) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Alan is a man who is both round and rough.
Bob is red when he is rough and blue when he is kind.
The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been.
They always call him rough Eric.
Green and blue people have a habit of being cold, which makes them red too.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
People that feel green are cold to people that try to help them.
If a rather cold person is also kind then they are probably rough.
A red and green colored person who is cold will be round shaped.
Those who are round and cold are young.