Dave, a green man, was also big, but underneath he was kind. Blue and green Eric is so kind he snowplows the neighbors driveways and everyone thanks him with beer. They always call him rough Gary. Young Harry got into a fight that left him with red sores on his face. Cold and rough people will also surely be round shaped. If a red and blue person is also kind to people that means they are rough as well. If you big person approaches and is cold, fear not because they are nice. Nice people who are big are always feeling blue. Young and nice people are ultimately cold. Kind people,though green,are cold.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Dave is kind.
True
1
proof
[(triple1)]
("Dave" "is" "kind" "+")
triple1
Eric is not kind.
False
1
inv-proof
[(triple4)]
("Eric" "is" "kind" "-")
triple4
Eric is cold.
True
3
proof
[(((triple4 triple5) -> rule6))]
("Eric" "is" "cold" "+")
((triple4 triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Dave" "is" "cold" "-")
((triple1 triple2) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule6)) -> rule3))]
("Dave" "is" "nice" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule6)) -> rule3))]
("Dave" "is" "nice" "-")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
True
7
proof
[(((((triple3 ((triple1 triple2) -> rule6)) -> rule3) triple3) -> rule4))]
("Dave" "is" "blue" "+")
((((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not blue.
False
7
inv-proof
[(((((triple3 ((triple1 triple2) -> rule6)) -> rule3) triple3) -> rule4))]
("Dave" "is" "blue" "-")
((((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is big.[(triple3)] Dave is green.[(triple2)] Dave is kind.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Gary is rough.[(triple7)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Dave is cold.[(((triple1 triple2) -> rule6))] Eric is cold.[(((triple4 triple5) -> rule6))] @2: Dave is nice.[(((triple3 ((triple1 triple2) -> rule6)) -> rule3))] @3: Dave is blue.[(((((triple3 ((triple1 triple2) -> rule6)) -> rule3) triple3) -> rule4))]
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple4 triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave, a green man, was also big, but underneath he was kind.
Blue and green Eric is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
They always call him rough Gary.
Young Harry got into a fight that left him with red sores on his face.
Cold and rough people will also surely be round shaped.
If a red and blue person is also kind to people that means they are rough as well.
If you big person approaches and is cold, fear not because they are nice.
Nice people who are big are always feeling blue.
Young and nice people are ultimately cold.
Kind people,though green,are cold.