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