Bob is round. Dave is not cold. Dave is round. Erin is round. Fiona is kind. Fiona is round. Fiona is smart. All kind people are rough. Rough, smart people are red. If Fiona is smart and Fiona is not white then Fiona is kind.
Bob is round.
("Bob" "is" "round" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is round.
("Dave" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Rough, smart people are red.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If Fiona is smart and Fiona is not white then Fiona is kind.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "white" "~")) -> ("Fiona" "is" "kind" "+"))
Fiona is smart.
True
1
proof
[(triple7)]
("Fiona" "is" "smart" "+")
triple7
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Fiona is rough.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "rough" "-")
((triple5) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
True
4
proof
[(((((triple5) -> rule1) triple7) -> rule2))]
("Fiona" "is" "red" "+")
((((triple5) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple5) -> rule1) triple7) -> rule2))]
("Fiona" "is" "red" "-")
((((triple5) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is round.[(triple1)] Dave is not cold.[(triple2)] Dave is round.[(triple3)] Erin is round.[(triple4)] Fiona is kind.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is rough.[(((triple5) -> rule1))] @2: Fiona is red.[(((((triple5) -> rule1) triple7) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is not cold.
("Dave" "is" "cold" "-")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple5) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2