Bob is big. Bob is not blue. Bob is furry. Bob is green. Bob is quiet. Erin is big. Erin is not furry. Erin is green. Fiona is big. Fiona is blue. Fiona is green. Fiona is smart. Round people are blue. If Bob is quiet then Bob is not round. If Fiona is blue then Fiona is green. All smart people are not round. If someone is smart and blue then they are quiet. All round, green people are furry. If someone is blue and not quiet then they are not big. If Erin is blue and Erin is not round then Erin is big.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Bob is quiet then Bob is not round.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "round" "-"))
If Fiona is blue then Fiona is green.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "green" "+"))
All smart people are not round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "-"))
If someone is smart and blue then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All round, green people are furry.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue and not quiet then they are not big.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "big" "-"))
If Erin is blue and Erin is not round then Erin is big.
((("Erin" "is" "blue" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "big" "+"))
Fiona is smart.
True
1
proof
[(triple12)]
("Fiona" "is" "smart" "+")
triple12
Bob is not quiet.
False
1
inv-proof
[(triple5)]
("Bob" "is" "quiet" "-")
triple5
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not blue.[(triple2)] Bob is quiet.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple8)] Erin is not furry.[(triple7)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple11 OR ((triple10) -> rule3))] Fiona is smart.[(triple12)] @1: Bob is not round.[(((triple5) -> rule2))] Fiona is not round.[(((triple12) -> rule4))] Fiona is quiet.[(((triple12 triple10) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is not furry.
("Erin" "is" "furry" "-")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
((triple10) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Bob is not round.
("Bob" "is" "round" "-")
((triple5) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((triple12) -> (rule4 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple12 triple10) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1