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