Charlie is big. Fiona is furry. Fiona is quiet. Fiona is smart. Gary is furry. Gary is smart. Gary is white. If Gary is furry then Gary is nice. All nice, white things are red.
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is furry then Gary is nice.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "nice" "+"))
All nice, white things are red.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Gary is nice.
True
2
proof
[(((triple5) -> rule1))]
("Gary" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple5) -> rule1))]
("Gary" "is" "nice" "-")
((triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is quiet.[(triple3)] Fiona is smart.[(triple4)] Gary is furry.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Gary is nice.[(((triple5) -> rule1))] @2: Gary is red.[(((((triple5) -> rule1) triple7) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple5) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2