Bob is red. Bob is white. Bob is young. Fiona is big. Fiona is red. Fiona is rough. Fiona is white. Gary is kind. Gary is red. Gary is rough. Gary is white. Harry is big. Harry is kind. Harry is quiet. Harry is red. Harry is young. Rough people are quiet. If Bob is red and Bob is young then Bob is big.
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Bob is red and Bob is young then Bob is big.
((("Bob" "is" "red" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple4)]
("Fiona" "is" "big" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple14)]
("Harry" "is" "quiet" "-")
triple14
Gary is quiet.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "quiet" "+")
((triple10) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple6) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is red.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Fiona is big.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Gary is kind.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is white.[(triple11)] Harry is big.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)] @1: Bob is big.[(((triple1 triple3) -> rule2))] Fiona is quiet.[(((triple6) -> rule1))] Gary is quiet.[(((triple10) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1