Although Alan is seen as nice and round, his days of playing football have made him quite rough. Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Dave is a red person who is round and also feels blue. Harry is a red person who is round and also feels blue. If a red person is cold and kind to others, they also tend to be blue. A person that is both green and red tends to be cold as well. Fat, round people who are green with envy and notoriously rough. Rough, round persons are also nice persons. Have you noticed that green and round folks are also so young. It is impossible for a nice person who is blue and red not to be rough. A blue and round human being will also be a green human being.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Harry is blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "+")
triple12
Dave is not blue.
False
1
inv-proof
[(triple9)]
("Dave" "is" "blue" "-")
triple9
Harry is green.
True
3
proof
[(((triple12 triple10) -> rule7))]
("Harry" "is" "green" "+")
((triple12 triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple6 triple4) -> rule7))]
("Bob" "is" "green" "-")
((triple6 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is rough.
True
5
proof
[(((((triple9 triple7) -> rule7) triple7) -> rule3))]
("Dave" "is" "rough" "+")
((((triple9 triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is not young.
False
5
inv-proof
[(((((triple6 triple4) -> rule7) triple4) -> rule5))]
("Bob" "is" "young" "-")
((((triple6 triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is nice.
True
7
proof
[(((((((triple12 triple10) -> rule7) triple10) -> rule3) triple10) -> rule4))]
("Harry" "is" "nice" "+")
((((((triple12 triple10) -> (rule7 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not nice.
False
7
inv-proof
[(((((((triple12 triple10) -> rule7) triple10) -> rule3) triple10) -> rule4))]
("Harry" "is" "nice" "-")
((((((triple12 triple10) -> (rule7 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@3: Alan is young.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule1 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is nice.[(triple3 OR ((triple2 triple1) -> rule4))] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is rough.[(triple5 OR ((((triple6 triple4) -> rule7) triple4) -> rule3))] Bob is round.[(triple4)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Harry is blue.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Bob is green.[(((triple6 triple4) -> rule7))] Bob is nice.[(((triple5 triple4) -> rule4) OR ((((((triple6 triple4) -> rule7) triple4) -> rule3) triple4) -> rule4))] Dave is green.[(((triple9 triple7) -> rule7))] Harry is green.[(((triple12 triple10) -> rule7))] @2: Bob is young.[(((((triple6 triple4) -> rule7) triple4) -> rule5))] Dave is cold.[(((((triple9 triple7) -> rule7) triple8) -> rule2))] Dave is rough.[(((((triple9 triple7) -> rule7) triple7) -> rule3))] Dave is young.[(((((triple9 triple7) -> rule7) triple7) -> rule5))] Harry is cold.[(((((triple12 triple10) -> rule7) triple11) -> rule2))] Harry is rough.[(((((triple12 triple10) -> rule7) triple10) -> rule3))] Harry is young.[(((((triple12 triple10) -> rule7) triple10) -> rule5))] @3: Dave is nice.[(((((((triple9 triple7) -> rule7) triple7) -> rule3) triple7) -> rule4))] Harry is nice.[(((((((triple12 triple10) -> rule7) triple10) -> rule3) triple10) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
((triple2 triple1) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((((triple6 triple4) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple6 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((((triple6 triple4) -> (rule7 % int3)) triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple9 triple7) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple12 triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple6 triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple9 triple7) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple9 triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple9 triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple12 triple10) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple12 triple10) -> (rule7 % int2)) triple10) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple12 triple10) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((((triple9 triple7) -> (rule7 % int3)) triple7) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple12 triple10) -> (rule7 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Although Alan is seen as nice and round, his days of playing football have made him quite rough.
Bob is blue just like his dog; Bob is rough and round enough for the dog to use him as an exercise wheel.
Dave is a red person who is round and also feels blue.
Harry is a red person who is round and also feels blue.
If a red person is cold and kind to others, they also tend to be blue.
A person that is both green and red tends to be cold as well.
Fat, round people who are green with envy and notoriously rough.
Rough, round persons are also nice persons.
Have you noticed that green and round folks are also so young.
It is impossible for a nice person who is blue and red not to be rough.
A blue and round human being will also be a green human being.