Alan was round, nice, and because he was cold, he looked rather blue. Bob always goes out of his way to show that he is kind to people. Dave is very nice to people, but he's also rather big. Harry is young and round, he is also green. People that tend to be big and green also tend to be cold. Young, green round people are big. 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. Young cold individuals are usualyy rough. Kind people who are blue with sadness and cold toward others are surprisingly red. A young person who is red a kind is also usually big.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
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 young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Bob is not kind.
False
1
inv-proof
[(triple5)]
("Bob" "is" "kind" "-")
triple5
Harry is big.
True
4
proof
[(((triple10 triple8 triple9) -> rule2))]
("Harry" "is" "big" "+")
((triple10 triple8 triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
4
inv-proof
[(((triple10 triple8 triple9) -> rule2))]
("Harry" "is" "big" "-")
((triple10 triple8 triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
True
6
proof
[(((((triple10 triple8 triple9) -> rule2) triple10) -> rule1))]
("Harry" "is" "cold" "+")
((((triple10 triple8 triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((((triple10 triple8 triple9) -> rule2) triple10) -> rule1))]
("Harry" "is" "cold" "-")
((((triple10 triple8 triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
True
8
proof
[(((triple8 ((((triple10 triple8 triple9) -> rule2) triple10) -> rule1)) -> rule5))]
("Harry" "is" "rough" "+")
((triple8 ((((triple10 triple8 triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not rough.
False
8
inv-proof
[(((triple8 ((((triple10 triple8 triple9) -> rule2) triple10) -> rule1)) -> rule5))]
("Harry" "is" "rough" "-")
((triple8 ((((triple10 triple8 triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is kind.[(triple5)] Dave is big.[(triple7)] Dave is nice.[(triple6)] Harry is green.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is big.[(((triple10 triple8 triple9) -> rule2))] @2: Harry is cold.[(((((triple10 triple8 triple9) -> rule2) triple10) -> rule1))] @3: Harry is rough.[(((triple8 ((((triple10 triple8 triple9) -> rule2) triple10) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple8 triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10 triple8 triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 ((((triple10 triple8 triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Alan was round, nice, and because he was cold, he looked rather blue.
Bob always goes out of his way to show that he is kind to people.
Dave is very nice to people, but he's also rather big.
Harry is young and round, he is also green.
People that tend to be big and green also tend to be cold.
Young, green round people are big.
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.
Young cold individuals are usualyy rough.
Kind people who are blue with sadness and cold toward others are surprisingly red.
A young person who is red a kind is also usually big.