Bob is red. Fiona is nice. If something is nice then it is white. Red things are white. Red things are quiet. If something is nice and white then it is red. If Fiona is blue and Fiona is rough then Fiona is quiet. If Fiona is blue and Fiona is not red then Fiona is quiet.
Bob is red.
("Bob" "is" "red" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is nice and white then it is red.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If Fiona is blue and Fiona is rough then Fiona is quiet.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "quiet" "+"))
If Fiona is blue and Fiona is not red then Fiona is quiet.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "quiet" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Fiona is white.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "white" "+")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "white" "-")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is red.[(triple1)] Fiona is nice.[(triple2)] @1: Bob is quiet.[(((triple1) -> rule3))] Bob is white.[(((triple1) -> rule2))] Fiona is white.[(((triple2) -> rule1))] @2: Fiona is red.[(((triple2 ((triple2) -> rule1)) -> rule4))] @3: Fiona is quiet.[(((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3