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