Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Gary is green. Gary is kind. Gary is white. Blue things are round. If something is white and green then it is nice. Blue, round things are kind.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something is white and green then it is nice.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Blue, round things are kind.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "rough" "-")
triple4
Fiona is round.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Gary" "is" "nice" "-")
((triple7 triple5) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is kind.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Fiona" "is" "kind" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Fiona" "is" "kind" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is rough.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is white.[(triple7)] @1: Fiona is round.[(((triple1) -> rule1))] Gary is nice.[(((triple7 triple5) -> rule2))] @2: Fiona is kind.[(((triple1 ((triple1) -> rule1)) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 triple5) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2