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