Most people see Bob as round, albeit nice and big at the same time. In the snow sits Charlie, crying from being cold. Dave, a green man, was also big, but underneath he was kind. They always call him rough Fred. A person who is green and rough and round is also young. Big people are also round people. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. When you meet someone who is round, red and green, they will also be young. Kind people,though green,are cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Dave is cold.
True
3
proof
[(((triple5 triple6) -> rule5))]
("Dave" "is" "cold" "+")
((triple5 triple6) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Dave" "is" "round" "-")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
True
5
proof
[(((triple5 triple6 ((triple7) -> rule2)) -> rule3))]
("Dave" "is" "red" "+")
((triple5 triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not red.
False
5
inv-proof
[(((triple5 triple6 ((triple7) -> rule2)) -> rule3))]
("Dave" "is" "red" "-")
((triple5 triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
True
9
proof
[(((triple6 ((triple5 triple6 ((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule4))]
("Dave" "is" "young" "+")
((triple6 ((triple5 triple6 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not young.
False
9
inv-proof
[(((triple6 ((triple5 triple6 ((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule4))]
("Dave" "is" "young" "-")
((triple6 ((triple5 triple6 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "cold" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1 OR ((triple3) -> rule2))] Charlie is cold.[(triple4)] Dave is big.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Fred is rough.[(triple8)] @1: Dave is cold.[(((triple5 triple6) -> rule5))] Dave is round.[(((triple7) -> rule2))] @2: Dave is red.[(((triple5 triple6 ((triple7) -> rule2)) -> rule3))] @3: Dave is young.[(((triple6 ((triple5 triple6 ((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
((triple5 triple6) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5 triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple6 ((triple5 triple6 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Most people see Bob as round, albeit nice and big at the same time.
In the snow sits Charlie, crying from being cold.
Dave, a green man, was also big, but underneath he was kind.
They always call him rough Fred.
A person who is green and rough and round is also young.
Big people are also round people.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
When you meet someone who is round, red and green, they will also be young.
Kind people,though green,are cold.