Bob is a man who is both round and rough. They always call him rough Dave. Fred is rough and is blue, but that's because he's big and round in a small and square world. A green, downhearted, and blue person with red cheeks is big. People who are round, blue and cold are usually nice. Someone big and rough in shape is always kind. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. Anybody with rough, kind and blue aspects will certainly be cold, too. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. When someone is rough like sandpaper and young like a tadpole they are always round.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Fred is not blue.
False
1
inv-proof
[(triple6)]
("Fred" "is" "blue" "-")
triple6
Fred is kind.
True
3
proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "kind" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "kind" "-")
((triple7 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
True
6
proof
[(((triple5 ((triple7 triple5) -> rule3) triple6) -> rule5))]
("Fred" "is" "cold" "+")
((triple5 ((triple7 triple5) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((triple5 ((triple7 triple5) -> rule3) triple6) -> rule5))]
("Fred" "is" "cold" "-")
((triple5 ((triple7 triple5) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
True
9
proof
[(((triple4 triple6 ((triple5 ((triple7 triple5) -> rule3) triple6) -> rule5)) -> rule2))]
("Fred" "is" "nice" "+")
((triple4 triple6 ((triple5 ((triple7 triple5) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not nice.
False
9
inv-proof
[(((triple4 triple6 ((triple5 ((triple7 triple5) -> rule3) triple6) -> rule5)) -> rule2))]
("Fred" "is" "nice" "-")
((triple4 triple6 ((triple5 ((triple7 triple5) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "round" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is rough.[(triple3)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] @1: Fred is kind.[(((triple7 triple5) -> rule3))] @2: Fred is cold.[(((triple5 ((triple7 triple5) -> rule3) triple6) -> rule5))] @3: Fred is nice.[(((triple4 triple6 ((triple5 ((triple7 triple5) -> rule3) triple6) -> rule5)) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple5 ((triple7 triple5) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 triple6 ((triple5 ((triple7 triple5) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Bob is a man who is both round and rough.
They always call him rough Dave.
Fred is rough and is blue, but that's because he's big and round in a small and square world.
A green, downhearted, and blue person with red cheeks is big.
People who are round, blue and cold are usually nice.
Someone big and rough in shape is always kind.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
Anybody with rough, kind and blue aspects will certainly be cold, too.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
When someone is rough like sandpaper and young like a tadpole they are always round.