Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is white. Bob is young. Fiona is blue. Fiona is quiet. Harry is big. Harry is green. Harry is nice. Harry is quiet. All green things are young. All green, nice things are blue.
Bob is big.
("Bob" "is" "big" "+")
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 blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All green, nice things are blue.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Bob is young.
True
1
proof
[(triple6 OR ((triple2) -> rule1))]
("Bob" "is" "young" "+")
triple6
((triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is not quiet.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "quiet" "-")
triple8
Bob is blue.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "blue" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "young" "-")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple2) -> rule1))] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] @1: Bob is blue.[(((triple2 triple3) -> rule2))] Harry is blue.[(((triple10 triple11) -> rule2))] Harry is young.[(((triple10) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple11) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1