Bob is round. Erin is nice. Erin is quiet. Erin is young. Fiona is furry. Fiona is quiet. Fiona is young. All big things are not round. If Fiona is blue and Fiona is not young then Fiona is furry. All round things are blue. If Erin is furry then Erin is blue. All blue things are not quiet. All big things are quiet. If Bob is nice and Bob is not young then Bob is furry. If Fiona is big and Fiona is not nice then Fiona is not blue.
Bob is round.
("Bob" "is" "round" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All big things are not round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "-"))
If Fiona is blue and Fiona is not young then Fiona is furry.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "furry" "+"))
All round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If Erin is furry then Erin is blue.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "blue" "+"))
All blue things are not quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "-"))
All big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Bob is nice and Bob is not young then Bob is furry.
((("Bob" "is" "nice" "+") ("Bob" "is" "young" "~")) -> ("Bob" "is" "furry" "+"))
If Fiona is big and Fiona is not nice then Fiona is not blue.
((("Fiona" "is" "big" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "blue" "-"))
Fiona is furry.
True
1
proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Fiona is not young.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Bob is blue.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not quiet.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("Bob" "is" "quiet" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is quiet.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("Bob" "is" "quiet" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "blue" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "furry" "+")
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is round.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] @1: Bob is blue.[(((triple1) -> rule3))] @2: Bob is not quiet.[(((((triple1) -> rule3)) -> rule5))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not quiet.
("Bob" "is" "quiet" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2