Bob is round. Dave is nice. Dave is not quiet. Dave is red. Erin is cold. Erin is rough. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. If something is round then it is nice.
Bob is round.
("Bob" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is red.
("Dave" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple2)]
("Dave" "is" "nice" "+")
triple2
Dave is quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Bob is nice.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is round.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is red.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Fiona is nice.[(triple7 OR ((triple9) -> rule1))] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Bob is nice.[(((triple1) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1