Anne is big. Anne is blue. Bob is big. Erin is kind. Fiona is blue. Fiona is quiet. Fiona is round. Rough, blue people are quiet. If Fiona is quiet and Fiona is rough then Fiona is kind. If Erin is quiet and Erin is round then Erin is big. Rough, white people are kind. If someone is kind then they are rough. If Fiona is blue then Fiona is big. All quiet, round people are big. All round, blue people are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Rough, blue people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is quiet and Fiona is rough then Fiona is kind.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "kind" "+"))
If Erin is quiet and Erin is round then Erin is big.
((("Erin" "is" "quiet" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "big" "+"))
Rough, white people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is blue then Fiona is big.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "big" "+"))
All quiet, round people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All round, blue people are rough.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Erin is kind.
True
1
proof
[(triple4)]
("Erin" "is" "kind" "+")
triple4
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Fiona is rough.
True
3
proof
[(((triple7 triple5) -> rule8))]
("Fiona" "is" "rough" "+")
((triple7 triple5) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple7 triple5) -> rule8))]
("Fiona" "is" "rough" "-")
((triple7 triple5) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@2: Anne is rough.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Anne" "is" "rough" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Bob is big.[(triple3)] Erin is kind.[(triple4)] Fiona is blue.[(triple5)] Fiona is quiet.[(triple6 OR ((((triple7 triple5) -> rule8) triple5) -> rule1))] Fiona is round.[(triple7)] @1: Erin is rough.[(((triple4) -> rule5))] Fiona is big.[(((triple5) -> rule6) OR ((triple6 triple7) -> rule7) OR ((((((triple7 triple5) -> rule8) triple5) -> rule1) triple7) -> rule7))] Fiona is rough.[(((triple7 triple5) -> rule8))] @2: Fiona is kind.[(((triple6 ((triple7 triple5) -> rule8)) -> rule2) OR ((((((triple7 triple5) -> rule8) triple5) -> rule1) ((triple7 triple5) -> rule8)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((((triple7 triple5) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple6 triple7) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple7 triple5) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7 triple5) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6 ((triple7 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple7 triple5) -> (rule8 % int3)) triple5) -> (rule1 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3