Bob is big. Bob is not furry. Bob is green. Bob is nice. Bob is quiet. Bob is white. Bob is young. Fiona is not furry. Fiona is not nice. Fiona is quiet. Fiona is white. Gary is big. Gary is furry. Gary is nice. Gary is white. Gary is young. If something is white and not quiet then it is big. If Fiona is quiet then Fiona is not green. If something is white and nice then it is green. Furry, big things are green. If something is quiet then it is white. If something is nice and not green then it is young. Big things are young. Nice, big things are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is white and not quiet then it is big.
((("something" "is" "white" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "big" "+"))
If Fiona is quiet then Fiona is not green.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "green" "-"))
If something is white and nice then it is green.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Furry, big things are green.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is nice and not green then it is young.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "+"))
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Nice, big things are young.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Bob is quiet.
True
1
proof
[(triple5)]
("Bob" "is" "quiet" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple15)]
("Gary" "is" "white" "-")
triple15
Fiona is not green.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "green" "-")
((triple10) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is green.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "green" "+")
((triple10) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is not young.
Unknown
inv-rconc
[@2: Fiona is young.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple3 OR ((triple6 triple4) -> rule3) OR ((((triple5) -> rule5) triple4) -> rule3))] Bob is nice.[(triple4)] Bob is not furry.[(triple2)] Bob is quiet.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule5))] Bob is young.[(triple7 OR ((triple1) -> rule7) OR ((triple4 triple1) -> rule8))] Fiona is not furry.[(triple8)] Fiona is not nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11 OR ((triple10) -> rule5))] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple12) -> rule7) OR ((triple14 triple12) -> rule8))] @1: Fiona is not green.[(((triple10) -> rule2))] Gary is green.[(((triple13 triple12) -> rule4) OR ((triple15 triple14) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple6 triple4) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4 triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple8
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple10) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple14 triple12) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple10) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple13 triple12) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple15 triple14) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1