Bob is big. Bob is blue. Bob is cold. Bob is rough. Bob is white. Charlie is not big. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Erin is not cold. Erin is quiet. Erin is white. Fiona is white. If something is white then it is quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Charlie is smart.
True
1
proof
[(triple11)]
("Charlie" "is" "smart" "+")
triple11
Bob is not white.
False
1
inv-proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Fiona is quiet.
True
2
proof
[(((triple16) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple16) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple16) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple16) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is blue.[(triple7)] Charlie is cold.[(triple8)] Charlie is not big.[(triple6)] Charlie is quiet.[(triple9 OR ((triple12) -> rule1))] Charlie is rough.[(triple10)] Charlie is smart.[(triple11)] Charlie is white.[(triple12)] Erin is not cold.[(triple13)] Erin is quiet.[(triple14 OR ((triple15) -> rule1))] Erin is white.[(triple15)] Fiona is white.[(triple16)] @1: Bob is quiet.[(((triple5) -> rule1))] Fiona is quiet.[(((triple16) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is not big.
("Charlie" "is" "big" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
((triple12) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Erin is not cold.
("Erin" "is" "cold" "-")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
((triple15) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple16) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1