Bob is not green. Fiona is white. If something is blue and not rough then it is not red. Blue, big things are red. Green things are red. White things are green. All green, rough things are big. If Bob is green and Bob is red then Bob is white.
Bob is not green.
("Bob" "is" "green" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If something is blue and not rough then it is not red.
((("something" "is" "blue" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "-"))
Blue, big things are red.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
White things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All green, rough things are big.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If Bob is green and Bob is red then Bob is white.
((("Bob" "is" "green" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Fiona is green.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "green" "+")
((triple2) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "green" "-")
((triple2) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
True
3
proof
[(((((triple2) -> rule4)) -> rule3))]
("Fiona" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule3))]
("Fiona" "is" "red" "-")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is not green.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is green.[(((triple2) -> rule4))] @2: Fiona is red.[(((((triple2) -> rule4)) -> rule3))]
Bob is not green.
("Bob" "is" "green" "-")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2