Bob is blue. Bob is round. Bob is smart. Erin is not green. Erin is kind. Erin is round. Fiona is not green. Fiona is nice. Fiona is not quiet. Harry is not round. Green things are round. If something is round and not smart then it is kind. All quiet, smart things are green. Smart things are green. If Erin is not round then Erin is kind. Green things are blue. If something is smart and not kind then it is blue. All kind things are not blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Harry is not round.
("Harry" "is" "round" "-")
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is round and not smart then it is kind.
((("something" "is" "round" "+") ("something" "is" "smart" "~")) -> ("something" "is" "kind" "+"))
All quiet, smart things are green.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If Erin is not round then Erin is kind.
((("Erin" "is" "round" "~")) -> ("Erin" "is" "kind" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is smart and not kind then it is blue.
((("something" "is" "smart" "+") ("something" "is" "kind" "~")) -> ("something" "is" "blue" "+"))
All kind things are not blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "-"))
Fiona is not green.
True
1
proof
[(triple7)]
("Fiona" "is" "green" "-")
triple7
Bob is not round.
False
1
inv-proof
[(triple2 OR ((((triple3) -> rule4)) -> rule1))]
("Bob" "is" "round" "-")
triple2
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is blue.[(triple1 OR ((((triple3) -> rule4)) -> rule6))] Bob is round.[(triple2 OR ((((triple3) -> rule4)) -> rule1))] Bob is smart.[(triple3)] Erin is kind.[(triple5)] Erin is not green.[(triple4)] Erin is round.[(triple6)] Fiona is nice.[(triple8)] Fiona is not green.[(triple7)] Fiona is not quiet.[(triple9)] Harry is not round.[(triple10)] @1: Bob is green.[(((triple3) -> rule4))] Erin is not blue.[(((triple5) -> rule8))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple2
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not green.
("Erin" "is" "green" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not green.
("Fiona" "is" "green" "-")
triple7
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Harry is not round.
("Harry" "is" "round" "-")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is not blue.
("Erin" "is" "blue" "-")
((triple5) -> (rule8 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1