Anne is quiet. Erin is white. Fiona is red. Harry is quiet. All quiet people are furry. Cold people are white. All red people are round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Erin is white.
True
1
proof
[(triple2)]
("Erin" "is" "white" "+")
triple2
Erin is not white.
False
1
inv-proof
[(triple2)]
("Erin" "is" "white" "-")
triple2
Fiona is round.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "round" "+")
((triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "round" "-")
((triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is quiet.[(triple1)] Erin is white.[(triple2)] Fiona is red.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is furry.[(((triple1) -> rule1))] Fiona is round.[(((triple3) -> rule3))] Harry is furry.[(((triple4) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1