Bob is big. Bob is not blue. Fiona is big. Fiona is blue. Fiona is furry. Fiona is not green. Gary is big. Gary is furry. Gary is kind. Gary is smart. All blue things are not kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All blue things are not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
Fiona is furry.
True
1
proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Gary is not kind.
False
1
inv-proof
[(triple9)]
("Gary" "is" "kind" "-")
triple9
Fiona is not kind.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is kind.
False
2
inv-proof
[(((triple4) -> rule1))]
("Fiona" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is not green.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is not kind.[(((triple4) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is not green.
("Fiona" "is" "green" "-")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1