Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is white. If something is green and not blue then it is cold. If something is big then it is green. If something is cold and blue then it is furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is green and not blue then it is cold.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "cold" "+"))
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is cold and blue then it is furry.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Gary is blue.
True
1
proof
[(triple7)]
("Gary" "is" "blue" "+")
triple7
Fiona is not green.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule2))]
("Fiona" "is" "green" "-")
triple4
((triple1) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple1) -> rule2))] Fiona is kind.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((triple8 triple7) -> rule3))] Gary is green.[(triple10 OR ((triple6) -> rule2))] Gary is kind.[(triple11)] Gary is white.[(triple12)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
((triple1) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple8 triple7) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12