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