Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is round. Bob is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Harry is kind. Harry is round. If Harry is round then Harry is quiet. All smart, round people are green. If someone is blue and round then they are kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is round then Harry is quiet.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "quiet" "+"))
All smart, round people are green.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "blue" "-")
triple8
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple5) -> rule2))] Bob is kind.[(triple4 OR ((triple2 triple5) -> rule3))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9 OR ((triple13 triple12) -> rule2))] Fiona is kind.[(triple10 OR ((triple8 triple12) -> rule3))] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Harry is kind.[(triple14)] Harry is round.[(triple15)] @1: Harry is quiet.[(((triple15) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple6 triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple2 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple13 triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
((triple8 triple12) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple15) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1