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