Fiona is red. Fiona is not round. Fiona is young. Gary is blue. Gary is red. Gary is white. Gary is young. All red things are white. All red things are white. Blue things are young. Red, round things are young. If something is kind then it is big. If something is young and not blue then it is round.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Red, round things are young.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is young and not blue then it is round.
((("something" "is" "young" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is white.
True
2
proof
[(((triple1) -> rule1) OR ((triple1) -> rule2))]
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple1) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple1) -> rule2))]
("Fiona" "is" "white" "-")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple1) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is not round.[(triple2)] Fiona is red.[(triple1)] Fiona is young.[(triple3)] Gary is blue.[(triple4)] Gary is red.[(triple5)] Gary is white.[(triple6 OR ((triple5) -> rule1) OR ((triple5) -> rule2))] Gary is young.[(triple7 OR ((triple4) -> rule3))] @1: Fiona is white.[(((triple1) -> rule1) OR ((triple1) -> rule2))]
Fiona is not round.
("Fiona" "is" "round" "-")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple5) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple4) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple1) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1