Bob is cold. Bob is quiet. Bob is white. Fiona is young. Gary is white. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is white. Harry is young. If something is white then it is kind. All big things are kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Harry is quiet.
True
1
proof
[(triple10)]
("Harry" "is" "quiet" "+")
triple10
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Fiona is young.[(triple4)] Gary is white.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9 OR ((triple11) -> rule1) OR ((triple7) -> rule2))] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is kind.[(((triple3) -> rule1))] Gary is kind.[(((triple5) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
((triple11) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1