Bob is not green. Bob is quiet. Bob is red. Dave is big. Dave is not quiet. Dave is not round. Erin is big. Erin is not cold. Erin is red. Erin is round. Fiona is round. Fiona is young. If Dave is young then Dave is big. All cold things are not young. Red, green things are young. If something is quiet and big then it is not red. Young, green things are big. All round, young things are not green. If something is cold then it is not green. Big, red things are not cold.
Bob is not green.
("Bob" "is" "green" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not round.
("Dave" "is" "round" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Dave is young then Dave is big.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "big" "+"))
All cold things are not young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
Red, green things are young.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is quiet and big then it is not red.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
Young, green things are big.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
All round, young things are not green.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
If something is cold then it is not green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "-"))
Big, red things are not cold.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
Erin is big.
True
1
proof
[(triple7)]
("Erin" "is" "big" "+")
triple7
Dave is quiet.
False
1
inv-proof
[(triple5)]
("Dave" "is" "quiet" "+")
triple5
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Bob is not green.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Dave is big.[(triple4)] Dave is not quiet.[(triple5)] Dave is not round.[(triple6)] Erin is big.[(triple7)] Erin is not cold.[(triple8 OR ((triple7 triple9) -> rule8))] Erin is red.[(triple9)] Erin is round.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is not green.[(((triple11 triple12) -> rule6))]
Bob is not green.
("Bob" "is" "green" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is not round.
("Dave" "is" "round" "-")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
triple8
((triple7 triple9) -> (rule8 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is not green.
("Fiona" "is" "green" "-")
((triple11 triple12) -> (rule6 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1