Bob is big. Bob is quiet. Bob is young. Fiona is furry. Fiona is rough. Fiona is young. Gary is big. Gary is furry. Gary is rough. Gary is white. Rough, young things are white. If Gary is big and Gary is cold then Gary is rough. Cold things are young. All furry things are big. If something is white then it is furry. If Fiona is big and Fiona is cold then Fiona is white. White, furry things are big. All cold, quiet things are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Rough, young things are white.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If Gary is big and Gary is cold then Gary is rough.
((("Gary" "is" "big" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "rough" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If Fiona is big and Fiona is cold then Fiona is white.
((("Fiona" "is" "big" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
White, furry things are big.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All cold, quiet things are rough.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple9)]
("Gary" "is" "rough" "+")
triple9
Gary is not big.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule4) OR ((triple10 triple8) -> rule7) OR ((((triple10) -> rule5)) -> rule4) OR ((triple10 ((triple10) -> rule5)) -> rule7))]
("Gary" "is" "big" "-")
triple7
((triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple10 triple8) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple10 ((triple10) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Fiona is white.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Fiona" "is" "white" "+")
((triple5 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Fiona" "is" "white" "-")
((triple5 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is not furry.
Unknown
inv-rconc
[@3: Bob is furry.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule8 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "rough" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Fiona is furry.[(triple4 OR ((((triple5 triple6) -> rule1)) -> rule5))] Fiona is rough.[(triple5)] Fiona is young.[(triple6)] Gary is big.[(triple7 OR ((triple8) -> rule4) OR ((triple10 triple8) -> rule7) OR ((((triple10) -> rule5)) -> rule4) OR ((triple10 ((triple10) -> rule5)) -> rule7))] Gary is furry.[(triple8 OR ((triple10) -> rule5))] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Fiona is big.[(((triple4) -> rule4) OR ((((triple5 triple6) -> rule1) triple4) -> rule7) OR ((((((triple5 triple6) -> rule1)) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule1) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule7))] Fiona is white.[(((triple5 triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((((triple5 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple10 triple8) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple10 ((triple10) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple5 triple6) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple5 triple6) -> (rule1 % int3)) ((((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple5 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1