Alan is a rough man with a big heart who has red hair and a nice smile. Dave is young, he is also red and green. Eric is nice and young with red hair and a blue shirt. They always call him rough Harry. When a nice blue person is also red, they get called rough. A kind, cold, round person will be nice in addition. Anyone that's rough and cold is also going to be blue. If someone is blue, young, and rough, they qualify as being round. When someone is nice, dressing in red, they can be blue because they are cold. Someone who's blue, nice and round will also be someone who's green. When you know someone who's red, rough and nice, you'll also see that they're cold.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Dave is red.
True
1
proof
[(triple6)]
("Dave" "is" "red" "+")
triple6
Eric is not young.
False
1
inv-proof
[(triple8)]
("Eric" "is" "young" "-")
triple8
Eric is cold.
True
4
proof
[(((triple10 triple11 triple9) -> rule5) OR ((triple10 triple9 ((triple10 triple9 triple11) -> rule1)) -> rule7))]
("Eric" "is" "cold" "+")
((triple10 triple11 triple9) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((triple10 triple9 ((triple10 triple9 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not cold.
False
4
inv-proof
[(((triple10 triple11 triple9) -> rule5) OR ((triple10 triple9 ((triple10 triple9 triple11) -> rule1)) -> rule7))]
("Eric" "is" "cold" "-")
((triple10 triple11 triple9) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((triple10 triple9 ((triple10 triple9 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
True
7
proof
[(((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4))]
("Eric" "is" "round" "+")
((((triple10 triple9 triple11) -> (rule1 % int2)) triple8 triple11) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((((triple3 triple2 triple1) -> rule7) triple1) -> rule3))]
("Alan" "is" "blue" "-")
((((triple3 triple2 triple1) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is green.
True
10
proof
[(((triple11 triple10 ((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4)) -> rule6))]
("Eric" "is" "green" "+")
((triple11 triple10 ((((triple10 triple9 triple11) -> (rule1 % int3)) triple8 triple11) -> (rule4 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not green.
False
10
inv-proof
[(((triple11 triple10 ((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4)) -> rule6))]
("Eric" "is" "green" "-")
((triple11 triple10 ((((triple10 triple9 triple11) -> (rule1 % int3)) triple8 triple11) -> (rule4 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Alan" "is" "green" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is round.
Unknown
rconc
[@3: Dave is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] Eric is blue.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is young.[(triple8)] Harry is rough.[(triple12)] @1: Alan is cold.[(((triple3 triple2 triple1) -> rule7))] Eric is cold.[(((triple10 triple11 triple9) -> rule5) OR ((triple10 triple9 ((triple10 triple9 triple11) -> rule1)) -> rule7))] Eric is rough.[(((triple10 triple9 triple11) -> rule1))] @2: Alan is blue.[(((((triple3 triple2 triple1) -> rule7) triple1) -> rule3))] Eric is round.[(((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4))] @3: Eric is green.[(((triple11 triple10 ((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple2 triple1) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple10 triple11 triple9) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((triple10 triple9 ((triple10 triple9 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple10 triple9 triple11) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 triple2 triple1) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple10 triple9 triple11) -> (rule1 % int2)) triple8 triple11) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple11 triple10 ((((triple10 triple9 triple11) -> (rule1 % int3)) triple8 triple11) -> (rule4 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Alan is a rough man with a big heart who has red hair and a nice smile.
Dave is young, he is also red and green.
Eric is nice and young with red hair and a blue shirt.
They always call him rough Harry.
When a nice blue person is also red, they get called rough.
A kind, cold, round person will be nice in addition.
Anyone that's rough and cold is also going to be blue.
If someone is blue, young, and rough, they qualify as being round.
When someone is nice, dressing in red, they can be blue because they are cold.
Someone who's blue, nice and round will also be someone who's green.
When you know someone who's red, rough and nice, you'll also see that they're cold.