Anne is big. Anne is cold. Anne is not furry. Anne is nice. Anne is not rough. Anne is not round. Bob is cold. Bob is nice. Bob is quiet. Bob is round. Erin is not furry. Erin is not nice. Erin is round. Fiona is big. Fiona is nice. All nice, quiet people are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is not round.
("Anne" "is" "round" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
All nice, quiet people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Bob is round.
True
1
proof
[(triple10)]
("Bob" "is" "round" "+")
triple10
Bob is not round.
False
1
inv-proof
[(triple10)]
("Bob" "is" "round" "-")
triple10
Bob is rough.
True
3
proof
[(((triple8 triple9) -> rule1))]
("Bob" "is" "rough" "+")
((triple8 triple9) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Bob" "is" "rough" "-")
((triple8 triple9) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Erin is rough.
Unknown
rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple4)] Anne is not furry.[(triple3)] Anne is not rough.[(triple5)] Anne is not round.[(triple6)] Bob is cold.[(triple7)] Bob is nice.[(triple8)] Bob is quiet.[(triple9)] Bob is round.[(triple10)] Erin is not furry.[(triple11)] Erin is not nice.[(triple12)] Erin is round.[(triple13)] Fiona is big.[(triple14)] Fiona is nice.[(triple15)] @1: Bob is rough.[(((triple8 triple9) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Anne is not rough.
("Anne" "is" "rough" "-")
triple5
Anne is not round.
("Anne" "is" "round" "-")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
Erin is not furry.
("Erin" "is" "furry" "-")
triple11
Erin is not nice.
("Erin" "is" "nice" "-")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Fiona is big.
("Fiona" "is" "big" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
Bob is rough.
("Bob" "is" "rough" "+")
((triple8 triple9) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1