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