Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Dave is blue and cold. Eric was born only a few years ago so he is young. To the touch Harry has rough, cold skin. Nice blue people are often rough. Round people who feel rough also always feel cold,. People blue with cold are definitely green and new in these parts. A person who is kind but also rough and is also colored blue, will be shaped round. Kind people who are nice find that they must also be rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Eric is young.
True
1
proof
[(triple6)]
("Eric" "is" "young" "+")
triple6
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Bob is rough.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "rough" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "rough" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
True
5
proof
[(((triple1 ((triple2 triple3) -> rule1)) -> rule2))]
("Bob" "is" "cold" "+")
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((triple1 ((triple2 triple3) -> rule1)) -> rule2))]
("Bob" "is" "cold" "-")
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
True
7
proof
[(((triple3 ((triple1 ((triple2 triple3) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "green" "+")
((triple3 ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not green.
False
7
inv-proof
[(((triple3 ((triple1 ((triple2 triple3) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "green" "-")
((triple3 ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Eric is young.[(triple6)] Harry is cold.[(triple8)] Harry is rough.[(triple7)] @1: Bob is rough.[(((triple2 triple3) -> rule1))] Dave is green.[(((triple5 triple4) -> rule3))] @2: Bob is cold.[(((triple1 ((triple2 triple3) -> rule1)) -> rule2))] @3: Bob is green.[(((triple3 ((triple1 ((triple2 triple3) -> rule1)) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3 ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Dave is blue and cold.
Eric was born only a few years ago so he is young.
To the touch Harry has rough, cold skin.
Nice blue people are often rough.
Round people who feel rough also always feel cold,.
People blue with cold are definitely green and new in these parts.
A person who is kind but also rough and is also colored blue, will be shaped round.
Kind people who are nice find that they must also be rough.