If you met Alan you will see that he is round and red, but he is cold. Big, round Dave is cold and very green. Gary is rough but very kind, he is also red in color and young in age. Red Harry is what folks call him, because he is quite red. Everyone that is rough but also kind will be green. Being a kind person even when you are blue is hard, but it means you are round with delight. Nice people that are blue because they are cold turn green with envy. People that tend to be big and green also tend to be cold. Being green and rough are signs that someone is big.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "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 rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Gary is rough.
True
1
proof
[(triple9)]
("Gary" "is" "rough" "+")
triple9
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Gary is green.
True
3
proof
[(((triple11 triple9) -> rule1))]
("Gary" "is" "green" "+")
((triple11 triple9) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple11 triple9) -> rule1))]
("Gary" "is" "green" "-")
((triple11 triple9) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
True
5
proof
[(((((triple11 triple9) -> rule1) triple9) -> rule5))]
("Gary" "is" "big" "+")
((((triple11 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not big.
False
5
inv-proof
[(((((triple11 triple9) -> rule1) triple9) -> rule5))]
("Gary" "is" "big" "-")
((((triple11 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
True
9
proof
[(((((((triple11 triple9) -> rule1) triple9) -> rule5) ((triple11 triple9) -> rule1)) -> rule4))]
("Gary" "is" "cold" "+")
((((((triple11 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not cold.
False
9
inv-proof
[(((((((triple11 triple9) -> rule1) triple9) -> rule5) ((triple11 triple9) -> rule1)) -> rule4))]
("Gary" "is" "cold" "-")
((((((triple11 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple7)] Dave is cold.[(triple6 OR ((triple7 triple5) -> rule4))] Dave is green.[(triple5)] Dave is round.[(triple4)] Gary is kind.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] Harry is red.[(triple12)] @1: Gary is green.[(((triple11 triple9) -> rule1))] @2: Gary is big.[(((((triple11 triple9) -> rule1) triple9) -> rule5))] @3: Gary is cold.[(((((((triple11 triple9) -> rule1) triple9) -> rule5) ((triple11 triple9) -> rule1)) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
((triple7 triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
((triple11 triple9) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple11 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple11 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
If you met Alan you will see that he is round and red, but he is cold.
Big, round Dave is cold and very green.
Gary is rough but very kind, he is also red in color and young in age.
Red Harry is what folks call him, because he is quite red.
Everyone that is rough but also kind will be green.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Nice people that are blue because they are cold turn green with envy.
People that tend to be big and green also tend to be cold.
Being green and rough are signs that someone is big.