Bob is cold. Bob is kind. Fiona is not kind. Fiona is red. Gary is kind. Gary is nice. Gary is red. If Gary is not furry then Gary is not big. All nice people are big.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
If Gary is not furry then Gary is not big.
((("Gary" "is" "furry" "~")) -> ("Gary" "is" "big" "-"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Gary is kind.
True
1
proof
[(triple5)]
("Gary" "is" "kind" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple7)]
("Gary" "is" "red" "-")
triple7
Gary is big.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "big" "+")
((triple6) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "big" "-")
((triple6) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Fiona is not kind.[(triple3)] Fiona is red.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7)] @1: Gary is big.[(((triple6) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
((triple6) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1