Anne is furry. Anne is nice. Anne is smart. Anne is white. Bob is furry. Bob is white. Fiona is furry. Fiona is nice. Fiona is smart. Fiona is white. If someone is nice then they are cold. All smart, white people are furry. All cold, smart people are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All smart, white people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All cold, smart people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is furry.
True
1
proof
[(triple7 OR ((triple9 triple10) -> rule2))]
("Fiona" "is" "furry" "+")
triple7
((triple9 triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Anne is cold.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "cold" "-")
((triple8) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple8) -> rule1) triple9) -> rule3))]
("Fiona" "is" "quiet" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((((triple8) -> rule1) triple9) -> rule3))]
("Fiona" "is" "quiet" "-")
((((triple8) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is furry.[(triple1 OR ((triple3 triple4) -> rule2))] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Bob is white.[(triple6)] Fiona is furry.[(triple7 OR ((triple9 triple10) -> rule2))] Fiona is nice.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Anne is cold.[(((triple2) -> rule1))] Fiona is cold.[(((triple8) -> rule1))] @2: Anne is quiet.[(((((triple2) -> rule1) triple3) -> rule3))] Fiona is quiet.[(((((triple8) -> rule1) triple9) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3 triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((triple9 triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2