Even though Bob is young, he is still very round and still very red. This Dave guy is red. He is also kind and yet cold. The cold, nice, kind man with a round body is known as Gary. Harry always goes out of his way to show that he is kind to people. Fat, round people who are green with envy and notoriously rough. Among cold people, those who are round and kind are also rough. Being green, blue, and red all point to how young someone was. Kind people who are also rough are young. A nice and young aged person will definitely be green in color.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Gary is rough.
True
4
proof
[(((triple10 triple7 triple9) -> rule2))]
("Gary" "is" "rough" "+")
((triple10 triple7 triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
4
inv-proof
[(((triple10 triple7 triple9) -> rule2))]
("Gary" "is" "rough" "-")
((triple10 triple7 triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
True
6
proof
[(((((triple10 triple7 triple9) -> rule2) triple9) -> rule4))]
("Gary" "is" "young" "+")
((((triple10 triple7 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not young.
False
6
inv-proof
[(((((triple10 triple7 triple9) -> rule2) triple9) -> rule4))]
("Gary" "is" "young" "-")
((((triple10 triple7 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
True
8
proof
[(((triple8 ((((triple10 triple7 triple9) -> rule2) triple9) -> rule4)) -> rule5))]
("Gary" "is" "green" "+")
((triple8 ((((triple10 triple7 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not green.
False
8
inv-proof
[(((triple8 ((((triple10 triple7 triple9) -> rule2) triple9) -> rule4)) -> rule5))]
("Gary" "is" "green" "-")
((triple8 ((((triple10 triple7 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is red.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is kind.[(triple11)] @1: Gary is rough.[(((triple10 triple7 triple9) -> rule2))] @2: Gary is young.[(((((triple10 triple7 triple9) -> rule2) triple9) -> rule4))] @3: Gary is green.[(((triple8 ((((triple10 triple7 triple9) -> rule2) triple9) -> rule4)) -> rule5))]
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple7 triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple10 triple7 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple8 ((((triple10 triple7 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Even though Bob is young, he is still very round and still very red.
This Dave guy is red; He is also kind and yet cold.
The cold, nice, kind man with a round body is known as Gary.
Harry always goes out of his way to show that he is kind to people.
Fat, round people who are green with envy and notoriously rough.
Among cold people, those who are round and kind are also rough.
Being green, blue, and red all point to how young someone was.
Kind people who are also rough are young.
A nice and young aged person will definitely be green in color.