Bob is not big. Bob is blue. Bob is not furry. Bob is round. Bob is white. Erin is big. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Harry is big. Harry is furry. Harry is round. Harry is white. All round people are quiet. If Erin is blue and Erin is not round then Erin is cold. If someone is white and not round then they are blue.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is blue and Erin is not round then Erin is cold.
((("Erin" "is" "blue" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "cold" "+"))
If someone is white and not round then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "+"))
Bob is not furry.
True
1
proof
[(triple3)]
("Bob" "is" "furry" "-")
triple3
Bob is big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is quiet.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "blue" "-")
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" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is blue.[(triple2)] Bob is not big.[(triple1)] Bob is not furry.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Erin is big.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Harry is big.[(triple12)] Harry is furry.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Bob is quiet.[(((triple4) -> rule1))] Harry is quiet.[(((triple14) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple14) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1