Bob is not big. Bob is not cold. Bob is not furry. Bob is nice. Charlie is big. Charlie is quiet. Charlie is rough. Fiona is nice. Fiona is quiet. Fiona is rough. Harry is big. Harry is cold. Harry is not quiet. Harry is red. Harry is rough. Nice things are quiet. If something is quiet and not cold then it is red.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and not cold then it is red.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "+")
triple10
Bob is furry.
False
1
inv-proof
[(triple3)]
("Bob" "is" "furry" "+")
triple3
Bob is quiet.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
True
4
proof
[(((((triple4) -> rule1) triple2) -> rule2))]
("Bob" "is" "red" "+")
((((triple4) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not red.
False
4
inv-proof
[(((((triple4) -> rule1) triple2) -> rule2))]
("Bob" "is" "red" "-")
((((triple4) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is nice.[(triple4)] Bob is not big.[(triple1)] Bob is not cold.[(triple2)] Bob is not furry.[(triple3)] Charlie is big.[(triple5)] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9 OR ((triple8) -> rule1))] Fiona is rough.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is not quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Bob is quiet.[(((triple4) -> rule1))] @2: Bob is red.[(((((triple4) -> rule1) triple2) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
((triple8) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple4) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2