Bob is not big. Bob is blue. Bob is kind. Bob is quiet. Bob is not rough. Bob is not smart. Bob is young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is young. Young, quiet things are blue. If something is quiet then it is kind. If something is quiet and rough then it is kind.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Young, quiet things are blue.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is quiet then it is kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is quiet and rough then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple10 OR ((triple11) -> rule2))]
("Fiona" "is" "kind" "-")
triple10
((triple11) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is blue.[(triple2 OR ((triple7 triple4) -> rule1))] Bob is kind.[(triple3 OR ((triple4) -> rule2))] Bob is not big.[(triple1)] Bob is not rough.[(triple5)] Bob is not smart.[(triple6)] Bob is quiet.[(triple4)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple12 triple11) -> rule1))] Fiona is kind.[(triple10 OR ((triple11) -> rule2))] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple7 triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
((triple12 triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
((triple11) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12