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