Dave is blue. Dave is green. Dave is rough. Dave is smart. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is smart. Fiona is not big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Smart, rough people are nice. Big people are green. If someone is nice and not blue then they are rough.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Smart, rough people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and not blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "+"))
Fiona is blue.
True
1
proof
[(triple12)]
("Fiona" "is" "blue" "+")
triple12
Dave is not blue.
False
1
inv-proof
[(triple1)]
("Dave" "is" "blue" "-")
triple1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8 OR ((triple5) -> rule2))] Erin is nice.[(triple9)] Erin is smart.[(triple10)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15)] Fiona is not big.[(triple11)] Fiona is rough.[(triple16)] @1: Dave is nice.[(((triple4 triple3) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
((triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
Fiona is not big.
("Fiona" "is" "big" "-")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1