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