Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is young. Erin is green. Erin is quiet. Erin is smart. Erin is young. Fiona is not kind. Fiona is quiet. Fiona is smart. Fiona is young. Gary is kind. Gary is not red. If something is kind then it is big. If something is green and not quiet then it is kind. If something is big and not young then it is smart.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is green and not quiet then it is kind.
((("something" "is" "green" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "kind" "+"))
If something is big and not young then it is smart.
((("something" "is" "big" "+") ("something" "is" "young" "~")) -> ("something" "is" "smart" "+"))
Charlie is quiet.
True
1
proof
[(triple3)]
("Charlie" "is" "quiet" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "young" "-")
triple5
Charlie is big.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "big" "+")
((triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple14) -> rule1))]
("Gary" "is" "big" "-")
((triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is big.
Unknown
rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "big" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is young.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Fiona is not kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] Fiona is young.[(triple13)] Gary is kind.[(triple14)] Gary is not red.[(triple15)] @1: Charlie is big.[(((triple2) -> rule1))] Gary is big.[(((triple14) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is not red.
("Gary" "is" "red" "-")
triple15
Charlie is big.
("Charlie" "is" "big" "+")
((triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1