Bob is blue. Erin is red. Fiona is blue. All green things are blue. If something is red and not smart then it is not rough. All kind, blue things are rough. Rough things are red. If Erin is kind and Erin is smart then Erin is red. If something is red then it is round. If something is red then it is kind. If Erin is not red then Erin is round.
Bob is blue.
("Bob" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is red and not smart then it is not rough.
((("something" "is" "red" "+") ("something" "is" "smart" "~")) -> ("something" "is" "rough" "-"))
All kind, blue things are rough.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Erin is kind and Erin is smart then Erin is red.
((("Erin" "is" "kind" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "red" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If Erin is not red then Erin is round.
((("Erin" "is" "red" "~")) -> ("Erin" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "blue" "-")
triple3
Erin is round.
True
2
proof
[(((triple2) -> rule6))]
("Erin" "is" "round" "+")
((triple2) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple2) -> rule7))]
("Erin" "is" "kind" "-")
((triple2) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@3: Fiona is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule7 <- FAIL)]]
("Fiona" "is" "red" "-")
Bob is red.
Unknown
rconc
[@3: Bob is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule7 <- FAIL)]]
("Bob" "is" "red" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Erin is red.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is kind.[(((triple2) -> rule7))] Erin is round.[(((triple2) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1