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