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