Anne is blue. Anne is furry. Anne is quiet. Anne is smart. Bob is furry. Bob is round. Bob is smart. Erin is blue. Erin is furry. Erin is green. Erin is round. Erin is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. If something is furry and nice then it is green. Quiet things are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If something is furry and nice then it is green.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Erin is smart.
True
1
proof
[(triple12)]
("Erin" "is" "smart" "+")
triple12
Fiona is not blue.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "blue" "-")
triple13
Anne is nice.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
True
4
proof
[(((triple2 ((triple3) -> rule2)) -> rule1))]
("Anne" "is" "green" "+")
((triple2 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not green.
False
4
inv-proof
[(((triple2 ((triple3) -> rule2)) -> rule1))]
("Anne" "is" "green" "-")
((triple2 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Bob is furry.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)] Fiona is blue.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15 OR ((triple16) -> rule2))] Fiona is quiet.[(triple16)] @1: Anne is nice.[(((triple3) -> rule2))] @2: Anne is green.[(((triple2 ((triple3) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
((triple16) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple16
Anne is nice.
("Anne" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple2 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2