Dave is big. Dave is quiet. Erin is cold. Erin is quiet. Fiona is blue. Fiona is kind. Fiona is quiet. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is smart. All quiet, big people are nice. Quiet, kind people are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All quiet, big people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Quiet, kind people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is smart.
True
1
proof
[(triple12)]
("Harry" "is" "smart" "+")
triple12
Harry is not big.
False
1
inv-proof
[(triple8 OR ((triple11 triple10) -> rule2))]
("Harry" "is" "big" "-")
triple8
((triple11 triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
True
3
proof
[(((triple11 triple8) -> rule1) OR ((triple11 ((triple11 triple10) -> rule2)) -> rule1))]
("Harry" "is" "nice" "+")
((triple11 triple8) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple11 ((triple11 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Fiona is not big.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Fiona" "is" "big" "-")
((triple7 triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
True
5
proof
[(((triple7 ((triple7 triple6) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "+")
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not nice.
False
5
inv-proof
[(((triple7 ((triple7 triple6) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "-")
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is big.
Unknown
rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is big.[(triple1)] Dave is quiet.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Harry is big.[(triple8 OR ((triple11 triple10) -> rule2))] Harry is cold.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Dave is nice.[(((triple2 triple1) -> rule1))] Fiona is big.[(((triple7 triple6) -> rule2))] Harry is nice.[(((triple11 triple8) -> rule1) OR ((triple11 ((triple11 triple10) -> rule2)) -> rule1))] @2: Fiona is nice.[(((triple7 ((triple7 triple6) -> rule2)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((triple11 triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple7 triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple8) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple11 ((triple11 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2