Erin is green. Erin is not red. Erin is not rough. Erin is round. Erin is not smart. Erin is young. Fiona is blue. Fiona is red. Fiona is not rough. Fiona is round. Fiona is smart. Gary is blue. Gary is green. Gary is rough. Gary is not smart. Gary is young. If someone is young and blue then they are round.
Erin is green.
("Erin" "is" "green" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is young.
("Gary" "is" "young" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fiona is red.
True
1
proof
[(triple8)]
("Fiona" "is" "red" "+")
triple8
Erin is not round.
False
1
inv-proof
[(triple4)]
("Erin" "is" "round" "-")
triple4
Gary is round.
True
3
proof
[(((triple16 triple12) -> rule1))]
("Gary" "is" "round" "+")
((triple16 triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple16 triple12) -> rule1))]
("Gary" "is" "round" "-")
((triple16 triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Erin is green.[(triple1)] Erin is not red.[(triple2)] Erin is not rough.[(triple3)] Erin is not smart.[(triple5)] Erin is round.[(triple4)] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is not rough.[(triple9)] Fiona is red.[(triple8)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Gary is blue.[(triple12)] Gary is green.[(triple13)] Gary is not smart.[(triple15)] Gary is rough.[(triple14)] Gary is young.[(triple16)] @1: Gary is round.[(((triple16 triple12) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple2
Erin is not rough.
("Erin" "is" "rough" "-")
triple3
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is not smart.
("Gary" "is" "smart" "-")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple16
Gary is round.
("Gary" "is" "round" "+")
((triple16 triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1