Bob is big. Bob is nice. Bob is quiet. Bob is rough. Charlie is not big. Charlie is blue. Charlie is quiet. Charlie is white. Erin is big. Erin is blue. Erin is nice. Erin is quiet. Gary is not big. Gary is nice. Gary is quiet. Gary is not round. If Bob is white then Bob is nice. If something is round and not white then it is nice. If something is rough and not white then it is round. If Charlie is not round and Charlie is not rough then Charlie is big. If Charlie is white and Charlie is quiet then Charlie is not big. Big things are blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not round.
("Gary" "is" "round" "-")
If Bob is white then Bob is nice.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "nice" "+"))
If something is round and not white then it is nice.
((("something" "is" "round" "+") ("something" "is" "white" "~")) -> ("something" "is" "nice" "+"))
If something is rough and not white then it is round.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "round" "+"))
If Charlie is not round and Charlie is not rough then Charlie is big.
((("Charlie" "is" "round" "~") ("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "big" "+"))
If Charlie is white and Charlie is quiet then Charlie is not big.
((("Charlie" "is" "white" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "big" "-"))
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Erin is big.
True
1
proof
[(triple9)]
("Erin" "is" "big" "+")
triple9
Erin is not big.
False
1
inv-proof
[(triple9)]
("Erin" "is" "big" "-")
triple9
Bob is blue.
True
2
proof
[(((triple1) -> rule6))]
("Bob" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule6))]
("Bob" "is" "blue" "-")
((triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Charlie is blue.[(triple6)] Charlie is not big.[(triple5 OR ((triple8 triple7) -> rule5))] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Erin is big.[(triple9)] Erin is blue.[(triple10 OR ((triple9) -> rule6))] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Gary is nice.[(triple14)] Gary is not big.[(triple13)] Gary is not round.[(triple16)] Gary is quiet.[(triple15)] @1: Bob is blue.[(((triple1) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is not big.
("Charlie" "is" "big" "-")
triple5
((triple8 triple7) -> (rule5 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
((triple9) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is not big.
("Gary" "is" "big" "-")
triple13
Gary is not round.
("Gary" "is" "round" "-")
triple16
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1