To the touch Charlie has rough, cold skin. Dave is made of many colors, red and blue and green. He is also rough and cold. Harry is both young and fairly round in size. All kind, red, and young people are also nice. People who are blue and red and kind are described as being green. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Like a blueberry, a big blue person is round as anything. A kind and nice person who is looking green is often red. People that are red and blue and green at the same time have a reason to be cold. If someone is red and green and feeels rough, they are kind.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Dave is not blue.
False
1
inv-proof
[(triple7)]
("Dave" "is" "blue" "-")
triple7
Dave is kind.
True
4
proof
[(((triple3 triple5 triple4) -> rule7))]
("Dave" "is" "kind" "+")
((triple3 triple5 triple4) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule7))]
("Dave" "is" "kind" "-")
((triple3 triple5 triple4) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
True
7
proof
[(((triple3 triple7 ((triple3 triple5 triple4) -> rule7)) -> rule3))]
("Dave" "is" "big" "+")
((triple3 triple7 ((triple3 triple5 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not big.
False
7
inv-proof
[(((triple3 triple7 ((triple3 triple5 triple4) -> rule7)) -> rule3))]
("Dave" "is" "big" "-")
((triple3 triple7 ((triple3 triple5 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
True
9
proof
[(((triple7 ((triple3 triple7 ((triple3 triple5 triple4) -> rule7)) -> rule3)) -> rule4))]
("Dave" "is" "round" "+")
((triple7 ((triple3 triple7 ((triple3 triple5 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple7 ((triple3 triple7 ((triple3 triple5 triple4) -> rule7)) -> rule3)) -> rule4))]
("Dave" "is" "round" "-")
((triple7 ((triple3 triple7 ((triple3 triple5 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Charlie is cold.[(triple2)] Charlie is rough.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6 OR ((triple4 triple7 triple5) -> rule6))] Dave is green.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Dave is kind.[(((triple3 triple5 triple4) -> rule7))] @2: Dave is big.[(((triple3 triple7 ((triple3 triple5 triple4) -> rule7)) -> rule3))] @3: Dave is round.[(((triple7 ((triple3 triple7 ((triple3 triple5 triple4) -> rule7)) -> rule3)) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
((triple4 triple7 triple5) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
((triple3 triple5 triple4) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple3 triple7 ((triple3 triple5 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple3 triple7 ((triple3 triple5 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
To the touch Charlie has rough, cold skin.
Dave is made of many colors, red and blue and green; He is also rough and cold.
Harry is both young and fairly round in size.
All kind, red, and young people are also nice.
People who are blue and red and kind are described as being green.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Like a blueberry, a big blue person is round as anything.
A kind and nice person who is looking green is often red.
People that are red and blue and green at the same time have a reason to be cold.
If someone is red and green and feeels rough, they are kind.