Bob is red. Erin is green. If Bob is red then Bob is green. Rough people are not red. All green people are red. All green, round people are not red. Rough, smart people are not furry. All green people are furry. If Erin is white then Erin is round. If Erin is not rough then Erin is smart.
Bob is red.
("Bob" "is" "red" "+")
Erin is green.
("Erin" "is" "green" "+")
If Bob is red then Bob is green.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "green" "+"))
Rough people are not red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All green, round people are not red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "-"))
Rough, smart people are not furry.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Erin is white then Erin is round.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "round" "+"))
If Erin is not rough then Erin is smart.
((("Erin" "is" "rough" "~")) -> ("Erin" "is" "smart" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Erin is red.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "red" "+")
((triple2) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "green" "-")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("Bob" "is" "furry" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not furry.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("Bob" "is" "furry" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is red.[(triple1)] Erin is green.[(triple2)] @1: Bob is green.[(((triple1) -> rule1))] Erin is furry.[(((triple2) -> rule6))] Erin is red.[(((triple2) -> rule3))] @2: Bob is furry.[(((((triple1) -> rule1)) -> rule6))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2