Charlie is red. Charlie is not rough. Charlie is not smart. Charlie is young. Erin is big. Erin is round. Erin is not young. Fiona is not round. Fiona is smart. Fiona is young. Gary is big. Gary is not red. Gary is not rough. Gary is not round. Gary is not white. Gary is young. If something is white and rough then it is round. Young, big things are not round. If something is smart and red then it is big. Round, white things are smart. All red, round things are rough. All round things are red.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is not round.
("Gary" "is" "round" "-")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is white and rough then it is round.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Young, big things are not round.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "-"))
If something is smart and red then it is big.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Round, white things are smart.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All red, round things are rough.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Gary is not round.
True
1
proof
[(triple14 OR ((triple16 triple11) -> rule2))]
("Gary" "is" "round" "-")
triple14
((triple16 triple11) -> (rule2 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is round.
False
1
inv-proof
[(triple14 OR ((triple16 triple11) -> rule2))]
("Gary" "is" "round" "+")
triple14
((triple16 triple11) -> (rule2 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Erin is red.
True
2
proof
[(((triple6) -> rule6))]
("Erin" "is" "red" "+")
((triple6) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple6) -> rule6))]
("Erin" "is" "red" "-")
((triple6) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "smart" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is not rough.[(triple2)] Charlie is not smart.[(triple3)] Charlie is red.[(triple1)] Charlie is young.[(triple4)] Erin is big.[(triple5)] Erin is not young.[(triple7)] Erin is round.[(triple6)] Fiona is not round.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is not red.[(triple12)] Gary is not rough.[(triple13)] Gary is not round.[(triple14 OR ((triple16 triple11) -> rule2))] Gary is not white.[(triple15)] Gary is young.[(triple16)] @1: Erin is red.[(((triple6) -> rule6))] @2: Erin is rough.[(((((triple6) -> rule6) triple6) -> rule5))]
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple2
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is not young.
("Erin" "is" "young" "-")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is not red.
("Gary" "is" "red" "-")
triple12
Gary is not rough.
("Gary" "is" "rough" "-")
triple13
Gary is not round.
("Gary" "is" "round" "-")
triple14
((triple16 triple11) -> (rule2 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not white.
("Gary" "is" "white" "-")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((((triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2