Bob is cold. Erin is red. Fiona is rough. All red people are round. If someone is rough then they are round. Rough people are round.
Bob is cold.
("Bob" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Erin is red.
True
1
proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is round.
True
2
proof
[(((triple3) -> rule2) OR ((triple3) -> rule3))]
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "round" "-")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Erin is red.[(triple2)] Fiona is rough.[(triple3)] @1: Erin is round.[(((triple2) -> rule1))] Fiona is round.[(((triple3) -> rule2) OR ((triple3) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1