Bob is big. Bob is cold. Bob is white. Erin is quiet. Erin is white. Fiona is cold. Fiona is white. Quiet people are kind. If someone is big and cold then they are white. Kind, big people are cold. If Erin is big then Erin is white. Cold people are kind. All furry, quiet people are white.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are white.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Kind, big people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If Erin is big then Erin is white.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "white" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All furry, quiet people are white.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Bob is white.
True
1
proof
[(triple3 OR ((triple1 triple2) -> rule2))]
("Bob" "is" "white" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is white.[(triple3 OR ((triple1 triple2) -> rule2))] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is white.[(triple7)] @1: Bob is kind.[(((triple2) -> rule5))] Erin is kind.[(((triple4) -> rule1))] Fiona is kind.[(((triple6) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1