Fiona is big. Fiona is green. Fiona is nice. Fiona is young. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is young. If Fiona is nice then Fiona is kind. All white, young things are big. Big things are kind. All kind things are young. All white things are nice. If Fiona is young and Fiona is green then Fiona is big. If Gary is kind and Gary is red then Gary is nice. If Fiona is white then Fiona is red.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is nice then Fiona is kind.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "kind" "+"))
All white, young things are big.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All white things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If Fiona is young and Fiona is green then Fiona is big.
((("Fiona" "is" "young" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "big" "+"))
If Gary is kind and Gary is red then Gary is nice.
((("Gary" "is" "kind" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "nice" "+"))
If Fiona is white then Fiona is red.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "red" "+"))
Gary is big.
True
1
proof
[(triple5)]
("Gary" "is" "big" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Fiona is kind.
True
2
proof
[(((triple1) -> rule3) OR ((triple3) -> rule1) OR ((((triple4 triple2) -> rule6)) -> rule3))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule3) OR ((triple3) -> rule1) OR ((((triple4 triple2) -> rule6)) -> rule3))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "red" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Fiona is big.[(triple1 OR ((triple4 triple2) -> rule6) OR ((((((triple3) -> rule1)) -> rule4) triple2) -> rule6))] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is young.[(triple4 OR ((((triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule1)) -> rule4))] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7 OR ((triple5) -> rule3))] Gary is nice.[(triple8 OR ((triple7 triple9) -> rule7) OR ((((triple5) -> rule3) triple9) -> rule7))] Gary is red.[(triple9)] Gary is young.[(triple10 OR ((triple7) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] @1: Fiona is kind.[(((triple1) -> rule3) OR ((triple3) -> rule1) OR ((((triple4 triple2) -> rule6)) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple4 triple2) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple7 triple9) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple5) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple7) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2