Bob is big. Bob is furry. Bob is kind. Bob is not nice. Bob is red. Bob is rough. Bob is white. Erin is kind. Erin is red. Erin is rough. Erin is white. Fiona is big. Fiona is furry. Fiona is kind. Fiona is white. If Fiona is furry and Fiona is nice then Fiona is white. Nice, rough people are red. White, rough people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is furry and Fiona is nice then Fiona is white.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "white" "+"))
Nice, rough people are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
White, rough people are big.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Erin is kind.
True
1
proof
[(triple8)]
("Erin" "is" "kind" "+")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "kind" "-")
triple14
Erin is big.
True
3
proof
[(((triple11 triple10) -> rule3))]
("Erin" "is" "big" "+")
((triple11 triple10) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple11 triple10) -> rule3))]
("Erin" "is" "big" "-")
((triple11 triple10) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is big.[(triple1 OR ((triple7 triple6) -> rule3))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7)] Erin is kind.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is white.[(triple11)] Fiona is big.[(triple12)] Fiona is furry.[(triple13)] Fiona is kind.[(triple14)] Fiona is white.[(triple15)] @1: Erin is big.[(((triple11 triple10) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple7 triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not nice.
("Bob" "is" "nice" "-")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Erin is big.
("Erin" "is" "big" "+")
((triple11 triple10) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1