Anne is big. Anne is cold. Anne is furry. Anne is not green. Anne is kind. Anne is nice. Anne is smart. Fiona is big. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Gary is not furry. Gary is nice. If something is kind then it is nice. All green, smart things are nice. If Fiona is cold and Fiona is big then Fiona is kind. Smart things are not green. If something is smart and kind then it is not green. If Gary is cold and Gary is nice then Gary is not green. If something is smart and not green then it is furry. If something is big and not smart then it is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All green, smart things are nice.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If Fiona is cold and Fiona is big then Fiona is kind.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
Smart things are not green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "-"))
If something is smart and kind then it is not green.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
If Gary is cold and Gary is nice then Gary is not green.
((("Gary" "is" "cold" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "green" "-"))
If something is smart and not green then it is furry.
((("something" "is" "smart" "+") ("something" "is" "green" "~")) -> ("something" "is" "furry" "+"))
If something is big and not smart then it is furry.
((("something" "is" "big" "+") ("something" "is" "smart" "~")) -> ("something" "is" "furry" "+"))
Fiona is green.
True
1
proof
[(triple11)]
("Fiona" "is" "green" "+")
triple11
Anne is green.
False
1
inv-proof
[(triple4 OR ((triple7) -> rule4) OR ((triple7 triple5) -> rule5))]
("Anne" "is" "green" "+")
triple4
((triple7) -> (rule4 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
((triple7 triple5) -> (rule5 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple7) -> rule4)) -> rule7) OR ((triple7 ((triple7 triple5) -> rule5)) -> rule7))] Anne is kind.[(triple5)] Anne is nice.[(triple6 OR ((triple5) -> rule1))] Anne is not green.[(triple4 OR ((triple7) -> rule4) OR ((triple7 triple5) -> rule5))] Anne is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13 OR ((triple12) -> rule1))] Fiona is not cold.[(triple9)] Gary is nice.[(triple15)] Gary is not furry.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple7 triple4) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not green.
("Anne" "is" "green" "-")
int2
((triple7 ((triple7 triple5) -> (rule5 % int2))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not green.
("Anne" "is" "green" "-")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is nice.
("Anne" "is" "nice" "+")
triple6
((triple5) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not green.
("Anne" "is" "green" "-")
triple4
((triple7) -> (rule4 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
((triple7 triple5) -> (rule5 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
((triple12) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is not furry.
("Gary" "is" "furry" "-")
triple14