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