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