Bob is green. Bob is white. Dave is not blue. Dave is rough. Dave is not round. Fiona is not blue. Fiona is smart. White people are not smart. If Fiona is green then Fiona is blue. Red, blue people are not green. If someone is red then they are not green. If someone is white and round then they are not green. If someone is green and not smart then they are rough. If someone is red and not round then they are rough. If someone is white and not smart then they are not red.
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
White people are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If Fiona is green then Fiona is blue.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "blue" "+"))
Red, blue people are not green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "-"))
If someone is red then they are not green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "-"))
If someone is white and round then they are not green.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
If someone is green and not smart then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
If someone is red and not round then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
If someone is white and not smart then they are not red.
((("someone" "is" "white" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "red" "-"))
Dave is not round.
True
1
proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is not smart.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is smart.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is not red.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule8))]
("Bob" "is" "red" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2
Bob is not rough.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule6))]
("Bob" "is" "rough" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Dave is not blue.[(triple3)] Dave is not round.[(triple5)] Dave is rough.[(triple4)] Fiona is not blue.[(triple6)] Fiona is smart.[(triple7)] @1: Bob is not smart.[(((triple2) -> rule1))] @2: Bob is not red.[(((triple2 ((triple2) -> rule1)) -> rule8))] Bob is rough.[(((triple1 ((triple2) -> rule1)) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Dave is not blue.
("Dave" "is" "blue" "-")
triple3
Dave is not round.
("Dave" "is" "round" "-")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Bob is not smart.
("Bob" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is not red.
("Bob" "is" "red" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2